Functor Map.Make

module Make (Key : Key) : S  with type Key.t = Key.t
Parameters:
Key : Key