sig
  module type S =
    sig
      module D : Mdata.S
      val f_neg : Ctypes.c_float -> D.real -> D.real
      val f_op :
        Ctypes.c_float -> Formula.real_op -> D.real -> D.real -> D.real
      val f_cmp :
        Ctypes.c_float -> Formula.cmp_op -> D.real -> D.real -> D.boolean
    end
end