Comparator.Derived2
type ('a, 'b) t
type (!'cmp_a, !'cmp_b) comparator_witness
val comparator : ('a, 'cmp_a) comparator -> ('b, 'cmp_b) comparator -> (('a, 'b) t, ('cmp_a, 'cmp_b) comparator_witness) comparator