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