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
Parameters:
Key : Comparator.S