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