Module Frama_c_kernel.Float_sig

Interface of floating-point numbers of different precisions.

type round =
| Up
| Down
| Near
| Zero

Rounding modes defined in the C99 standard.

type prec =
| Single
| Double
| Long_Double
| Real

Precision of floating-point numbers:

  • the 'single', 'double' and 'long double' C types;
  • the ACSL 'real' type.
module type Widen_Hints = sig ... end
module type S = sig ... end