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