Description

UnionWith sets s to the union s ∪ x, and reports whether s grew.