Module type Equality_sig.S_with_collections

module type S_with_collections = sig .. end

include Equality_sig.S
module Set: Equality_sig.Set  with type element = elt and type equality = t