Something
public text v1 · immutable /**
* Unions the list with argumented list.
* @param set The list you want to union
* @return The combined list
* @ensure this.union(set).size == this.size + set.size
* @require set.size() != 0
*/
@Override
public Set<T> union(Set<T> set) {
int i = 0;
while (i< set.size()){
this.add(set.get(i));
i++;
}
return this;
}