11 lines
107 B
Text
11 lines
107 B
Text
|
x: module
|
||
|
|
|
||
|
|
synmode aset = SET (stopped, moving);
|
||
|
|
|
||
|
|
DCL xyz aset;
|
||
|
|
|
||
|
|
xyz := moving;
|
||
|
|
xyz := SUCC (xyz);
|
||
|
|
|
||
|
|
END x;
|