Functor Map.Make_binable_using_comparator

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