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