Functor Core_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