6 lines
92 B
Text
6 lines
92 B
Text
|
x: MODULE
|
||
|
|
NEWMODE a_set = SET (a, b, c, d);
|
||
|
|
NEWMODE a_ps = POWERSET a_set;
|
||
|
|
GRANT a_ps;
|
||
|
|
END;
|