FiniteSet

Exports

• SumitType
  TotallyOrderedType
  #:	Integer	number of elements
  apply:	(%, ExpressionTree) $\to$ ExpressionTree	Conversion to an expression tree
  index:	% $\to$ Integer	Index of an element
  lookup:	Integer $\to$ %	Element with a given index
  random:	() $\to$ %	Get a random element