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