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