Order.Ordered1
Base interface for ordered types.
type 'a t
val compare : 'a comparator -> 'a t comparator