Functor Map.Make

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