Functor Mfloat_natural.Create


module Create: 
functor (D : Mdata.S) -> sig .. end
Parameters:
D : Mdata.S

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