Module Mvalues.Model.R


module R: Mfloat.S  with module F = F

module F: Formula.S 

Float Operators


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