With_first_class_module (base.Base.Set.With_first_class

type (!'key, !'cmp, !'z) t =
  (module Base__.Comparator.S
    with type comparator_witness = 'cmp
     and type t = 'key) ->
  'z