Module Float_interval_sig

module Float_interval_sig: sig .. end

Signature for the floating-point interval semantics.


type prec = Float_sig.prec 

Precision of the intervals.

module type S = sig .. end