Set

Usage

import from Set T

Parameter	Type	Description
T	PrimitiveType	the type of the set entries

Description

Set provides sets of entries of type $T$, $1$-indexed and without bound checking.

Exports

BoundedFiniteLinearStructureType T
DynamicDataStructureType T
$-$:	(%, %) $\to$ %	set difference
intersection:	(%, %) $\to$ %	intersect two sets
intersection!:	(%, %) $\to$ %	intersect two sets
minus!:	(%, %) $\to$ %	set difference
union:	(%, T) $\to$ %	add an element
	(%, %) $\to$ %	add a set of elements
union!:	(%, T) $\to$ %	add an element
	(%, %) $\to$ %	add a set of elements