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