Module Map_intf.With_first_class_module
type ('key, 'cmp, 'z) t= (module Base.Comparator.S with type comparator_witness = 'cmp and type t = 'key) -> 'z
Map_intf.With_first_class_moduletype ('key, 'cmp, 'z) t = (module Base.Comparator.S with type comparator_witness = 'cmp and type t = 'key) -> 'z