Registrations

The following code examples demonstrate the built-in registration type offered by the language. See section [TBD] for details.

Type Declaration

Specific Registration Name: Registration.

`Declare a registration that can only contain up to the specified types.`

Constrained Registration Name A: {Context A, Context B}.
Constrained Registration Name B: {Context A, Context B, Context B}.
Constrained Registration Name C: {Context A, {*Context B*}}.

Operators

Operators are the same as Composition operators, excluding expansion.

As Variables

Use as variables is the same as for Compositions, excluding expansion-based declaration and assignment.