Functor Map.Make_binable_using_comparator

module Make_binable_using_comparator: 
functor (Key : Comparator.S_binable) -> S_binable 
      with type Key.t = Key.t 
      with type Key.comparator = Key.comparator