package frama-c

  1. Overview
  2. Docs

Module Frama_c_kernel.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 Widen_Hints = sig ... end
module type S = sig ... end