sig
  type model = Real | Float
  val configure : Cfloat.model -> unit
  val code_lit : float -> 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 range : Ctypes.c_float -> Lang.F.term -> Lang.F.pred
  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 : Lang.lfun
  val f_delta : Lang.lfun
  val f_epsilon : Lang.lfun
  val flt_rnd : 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
end