Module Frama_c_kernel.Float_interval_sig

Signature for the floating-point interval semantics.

type prec = Float_sig.prec

Precision of the intervals.

module type S = sig ... end