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 a CPN ML identifier.

Declaration examples

colset U = unit;

colset E = unit with e;

Operations

See color set functions.

 

Color sets
Union color sets

You must be logged in to post a comment.