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