Module Label.M

module M: Map.S  with type key = t