Module Comparable_intf.Map_and_set_binable.Set

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