声明语法

val id = exp;

其中，id是一个标识符，exp是一种CPN标识语言表达式，包括多重集表达式。该表达式表示该值被赋给了对应的标识符。

声明示例

值的声明可以用任何语法独立的值表示，而不必先声明一个颜色集，如: unit, bool, int, real, string, tuple, list, record。

val buffer_size = 10;

val string_val = "A string constant";

val listVal = [1, 2, 5];

val tupleVal = (1, true, "abcd");

值的声明也可以用之前声明过的颜色集。

val lastPacket = DATA("####");

如果类似与Packet的颜色集没有在lastPacket之前声明，那么上面的声明将产生错误。

多重集和函数表达式也可以用于值的声明。

val intMS = 1`2++2`8;

val add3 = fn x => x+3;