module Map: Map.S with type Key.t = t with type Key.comparator = comparator
Map.S
with type Key.t = t
with type Key.comparator = comparator