Infix.Ord
O : Interface.ORD
val (<||) : O.t -> O.t -> bool
val (||>) : O.t -> O.t -> bool
val (<|=) : O.t -> O.t -> bool
val (>|=) : O.t -> O.t -> bool