Frama-C API - Backward_Comparisons
Backward comparisons
val lt : t -> t -> (t * t) Eva.Eval.or_bottomval le : t -> t -> (t * t) Eva.Eval.or_bottomval gt : t -> t -> (t * t) Eva.Eval.or_bottomval ge : t -> t -> (t * t) Eva.Eval.or_bottom