Module Framac_ival.Float_sig

Interface of floating-point numbers of different precisions.

type round =

1. | Up
2. | Down
3. | Near
4. | Zero

Rounding modes defined in the C99 standard.

type prec =

1. | Single
2. | Double
3. | Long_Double
4. | Real

Precision of floating-point numbers:

• the 'single', 'double' and 'long double' C types;
• the ACSL 'real' type.

module type S = sig ... end