Module With_comparator

type ('key, 'cmp, 'z) t = comparator:('key, 'cmp) Comparator.t -> 'z