Functor Mfloat_natural.Create


module Create: 
functor (F : Formula.S) -> sig .. end
Parameters:
F : Formula.S

module F: F
val f_neg : 'a -> F.real -> F.real
val f_op : 'a ->
Formula.real_op ->
F.real ->
F.real -> F.real
val f_cmp : 'a ->
Formula.cmp_op ->
F.real ->
F.real -> F.boolean