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