Unit color set

The unit color set comprises a single element, denoted ().

Declaration Syntax

colset name = unit [with new_unit];

Order

trivial

Optional ''with'' clause

Renames the value, that is, defines the identifier representing (). The new value name must be an CPN ML identifier.

Declaration examples

colset U = unit;

colset E = unit with e;

Operations

Simple color sets

Compound color sets