module type S = sig .. end
sig
end
module D: Mdata.S
Mdata.S
val f_neg : Ctypes.c_float -> D.real -> D.real
Ctypes.c_float -> D.real -> D.real
val f_op : Ctypes.c_float -> Formula.real_op -> D.real -> D.real -> D.real
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
Ctypes.c_float -> Formula.cmp_op -> D.real -> D.real -> D.boolean