Framac_ival.Float_interval_sig
Signature for the floating-point interval semantics.
type prec = Float_sig.prec
Precision of the intervals.
module type S = sig ... end