V.Ordering_Functions
val (<||) : O.t -> O.t -> bool
val (||>) : O.t -> O.t -> bool
val (<|=) : O.t -> O.t -> bool
val (>|=) : O.t -> O.t -> bool