module Map: Core_map.S with type Key.t = t with type Key.comparator_witness = comparator_witness
Core_map.S
with type Key.t = t
with type Key.comparator_witness = comparator_witness