type ('key, 'cmp, 'z) t
= (module Base.Comparator.S with type comparator_witness = 'cmp and type t = 'key) ‑> 'z