sig
  module type S =
    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
end