Functor Map.Make_using_comparator

module Make_using_comparator: 
functor (Key : Comparator.S) -> S  with type Key.t = Key.t 
      with type Key.comparator = Key.comparator