Module Comparator.Derived2

Derived2 creates a comparator function that constructs a comparator for the type ('a, 'b) t given comparators for the type 'a and 'b.

Parameters

Signature

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