Comparable.S2
type ('a, 'b) t
val compare : 'a comparable -> 'b comparable -> ( 'a, 'b ) t comparable
val equal : 'a equalable -> 'b equalable -> ( 'a, 'b ) t equalable