Frama-C API - Float_interval_sig
Signature for the floating-point interval semantics.
type prec = Float_sig.precPrecision of the intervals.
module type S = sig ... end
Frama-C Frama-C Float_interval_sigSignature for the floating-point interval semantics.
type prec = Float_sig.precPrecision of the intervals.
module type S = sig ... end