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.
You must be logged in to post a comment.