Interface.Ordering
O : ORD
val less_than : O.t -> O.t -> bool
val greater_than : O.t -> O.t -> bool
val less_than_or_equal : O.t -> O.t -> bool
val greater_than_or_equal : O.t -> O.t -> bool