Module Numerors_arithmetics.Rel_Err

module Rel_Err: Arithmetic  with
  type forward = exact:I.t -> abs_err:I.t -> I.t

type forward 
module Forward: sig .. end
module Backward: sig .. end