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.