Index

Modules: math_sets, math_sets/infix, math_sets/literals, math_sets/power_set, math_sets/prefix, math_sets/quotient_set, math_sets/types.

API symbols

`/`:

• quotient_set: proc `/`[T](A: Set[T]; R: Relation[T]): Set[Set[T]]

`[]`:

• quotient_set: proc `[]`[T](R: Relation[T]; S: Set[T]): Set[T]

asSet:

• literals: macro asSet(lit): Set

bracketLiteralToSet:

• types: converter bracketLiteralToSet[T](S: set[T]): Set[T]

dom:

• prefix: proc dom[T](R: Relation[T]): Set[T]

fld:

• prefix: proc fld[T](R: Relation[T]): Set[T]

initRelation:

• types: proc initRelation[T](initialSize = defaultInitialSize): Relation[T]

initSet:

• types: proc initSet[T](initialSize = defaultInitialSize): Set[T]

P:

• power_set: proc P[T](s: Set[T]): Set[Set[T]]

Pair:

• types: type Pair

ran:

• prefix: proc ran[T](R: Relation[T]): Set[T]

Relation:

• types: type Relation

Set:

• types: type Set

toSet:

• types: template toSet(x): Set

×:

• infix: proc ×[T](a, b: Set[T]): Relation[T]

∩:

• infix: proc ∩[T](a, b: Set[T]): Set[T]

∪:

• infix: proc ∪[T](a, b: Set[T]): Set[T]

⊕:

• infix: proc ⊕[T](a, b: Set[T]): Set[T]