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