module Backward_Comparisons: sig
.. end
Backward comparisons
val lt : Numerors_arithmetics.t ->
Numerors_arithmetics.t ->
(Numerors_arithmetics.t * Numerors_arithmetics.t) Eval.or_bottom
val le : Numerors_arithmetics.t ->
Numerors_arithmetics.t ->
(Numerors_arithmetics.t * Numerors_arithmetics.t) Eval.or_bottom
val gt : Numerors_arithmetics.t ->
Numerors_arithmetics.t ->
(Numerors_arithmetics.t * Numerors_arithmetics.t) Eval.or_bottom
val ge : Numerors_arithmetics.t ->
Numerors_arithmetics.t ->
(Numerors_arithmetics.t * Numerors_arithmetics.t) Eval.or_bottom