Functor Map.Make_using_comparator

module Make_using_comparator (Key : Comparator.S) : S  with type Key.t = Key.t 
      with type Key.comparator = Key.comparator
Parameters:
Key : Comparator.S