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