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