sig
val f32 : Lang.adt
val f64 : Lang.adt
val t32 : Lang.F.tau
val t64 : Lang.F.tau
type model = Real | Float
val configure : Cfloat.model -> unit
val ftau : Ctypes.c_float -> Lang.F.tau
val tau_of_float : Ctypes.c_float -> Lang.F.tau
type op = LT | EQ | LE | NE | NEG | ADD | MUL | DIV | REAL | ROUND | EXACT
val find : Lang.lfun -> Cfloat.op * Ctypes.c_float
val code_lit : Ctypes.c_float -> float -> string option -> Lang.F.term
val acsl_lit : Cil_types.logic_real -> Lang.F.term
val float_of_int : Ctypes.c_float -> Lang.F.unop
val float_of_real : Ctypes.c_float -> Lang.F.unop
val real_of_float : Ctypes.c_float -> Lang.F.unop
val fopp : Ctypes.c_float -> Lang.F.unop
val fadd : Ctypes.c_float -> Lang.F.binop
val fsub : Ctypes.c_float -> Lang.F.binop
val fmul : Ctypes.c_float -> Lang.F.binop
val fdiv : Ctypes.c_float -> Lang.F.binop
val flt : Ctypes.c_float -> Lang.F.cmp
val fle : Ctypes.c_float -> Lang.F.cmp
val feq : Ctypes.c_float -> Lang.F.cmp
val fneq : Ctypes.c_float -> Lang.F.cmp
val f_model : Ctypes.c_float -> Lang.lfun
val f_delta : Ctypes.c_float -> Lang.lfun
val f_epsilon : Ctypes.c_float -> Lang.lfun
val flt_of_real : Ctypes.c_float -> Lang.lfun
val real_of_flt : Ctypes.c_float -> Lang.lfun
val flt_add : Ctypes.c_float -> Lang.lfun
val flt_mul : Ctypes.c_float -> Lang.lfun
val flt_div : Ctypes.c_float -> Lang.lfun
val flt_neg : Ctypes.c_float -> Lang.lfun
end