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