sig
  module F : Formula.S
  val f_neg : Ctypes.c_float -> F.real -> F.real
  val f_op : Ctypes.c_float -> Formula.real_op -> F.real -> F.real -> F.real
  val f_cmp :
    Ctypes.c_float -> Formula.cmp_op -> F.real -> F.real -> F.boolean
end