mirror of
https://github.com/darlinghq/darling-gdb.git
synced 2024-12-13 23:29:03 +00:00
6 lines
92 B
Plaintext
6 lines
92 B
Plaintext
x: MODULE
|
|
NEWMODE a_set = SET (a, b, c, d);
|
|
NEWMODE a_ps = POWERSET a_set;
|
|
GRANT a_ps;
|
|
END;
|