Module Map : Core_map.S_binable with type Key.t = t with type Key.comparator_witness = comparator_witness