Module Float_interval

module Float_interval: sig .. end

Builds a semantics of floating-point intervals for different precisions, from a module providing the floating-point numbers used for the bounds of the intervals. Supports NaN and infinite values.

module Make: functor (Float : Float_sig.S) -> Float_interval_sig.S  with type float := Float.t
                        and type widen_hints := Float.widen_hints