Module Make_binable_using_comparator (Key : sig .. end) : S_binable with type Key.t = Key.t with type Key.comparator_witness = Key.comparator_witness