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

Declaration Syntax

colset name = unit [with new_unit];



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;


See color set functions.


Color sets
Product color sets

You must be logged in to post a comment.