set

Overview

Modules

ops

set

Overview

This machine provides functionality for working with set data structures in Mech.

Functions in the set/ops module are supported by infix operators.

Modules

ops

Basic set operations

Operator	Function	Description
`∪`	`union`	Computes the union of two sets.
`∩`	`intersection`	Computes the intersection of two sets.
`∖`	`difference`	Computes the difference between two sets.
`⊆`	`subset`	Determines if one set is a subset of another.
`⊊`	`proper-subset`	Determines if one set is a proper subset of another.
`⊇`	`superset`	Determines if one set is a superset of another.
`⊋`	`proper-superset`	Determines if one set is a proper superset of another.
`∈`	`element-of`	Checks if an element is a member of a set.
`∉`	`not-element-of`	Checks if an element is not a member of a set.
`∆`	`symmetric-difference`	Computes the symdifference between two sets.