Package-level declarations

Primitive: Create a set type.

Primitive: Check if the object is an element of the set.

Primitive: Answer the difference between two sets (set1 - set2).

Primitive: Answer the intersection of two sets.

Primitive: Check if set1 is a subset of set2.

Primitive: Answer the size of the set.

Primitive: Convert a set into an arbitrarily ordered tuple. The conversion is unstable – two successive calls may produce different orderings.

Primitive: Extract a set type's element type.

Primitive: Extract a set type's range of sizes. This is the range of sizes that a set must fall in to be considered a member of the set type, assuming the elements all satisfy the set type's element type.

Primitive: Answer the union of two sets.

Primitive: Answer a new set like the argument but including the new element. If it was already present, answer the original set.

Primitive: Answer a new set like the argument but without the excluded element. If it was already absent, answer the original set.

Primitive: Convert a tuple into a set.