Comparable.S1
type 'a t
val compare : 'a comparable -> 'a t comparable
val equal : 'a equalable -> 'a t equalable