Deregistrations

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

Type Declaration

Specific Deregistration Name: Deregistration.

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

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

Operators

Operators are the same as Composition operators.

As Variables

Use as variables is the same as for Compositions.