
  [;1m-spec union(Set1, Set2) -> Set3[0m
  [;1m               when Set1 :: a_set(), Set2 :: a_set(), Set3 :: a_set().[0m

  Returns the union of [;;4mSet1[0m and [;;4mSet2[0m.
