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