Rel_Err
type forward = exact:I.t -> abs_err:I.t -> I.t
module Forward : sig ... end
module Backward : sig ... end
Frama-C