Module Numerors_arithmetics.Backward_Comparisons

Backward comparisons

val lt : t -> t -> (t * t) Eva.Eval.or_bottom
val le : t -> t -> (t * t) Eva.Eval.or_bottom
val gt : t -> t -> (t * t) Eva.Eval.or_bottom
val ge : t -> t -> (t * t) Eva.Eval.or_bottom