Frama_c_kernel.Float_intervalmodule Make
(Float : Float_sig.S) :
Float_interval_sig.S
with type float := Float.t
and type widen_hints := Float.widen_hintsBuilds 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.