Unit colour sets
CPN ML


The unit colour 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 identifier.

Declaration Examples

colset U = unit;

colset E = unit with e;

Operations

See colour set functions.

All Colour Sets