Module Set : Core_set.S_binable with type Elt.t = t with type Elt.comparator_witness = comparator_witness