Ord.Ordering_Functions
val (<||) : E.t -> E.t -> bool
val (||>) : E.t -> E.t -> bool
val (<|=) : E.t -> E.t -> bool
val (>|=) : E.t -> E.t -> bool