pr-5646-grt.ch

来自「模拟嵌入式硬件平台的软件源代码」· CH 代码 · 共 6 行

x: MODULE
NEWMODE a_set = SET (a, b, c, d);
NEWMODE a_ps = POWERSET a_set;
GRANT a_ps;
END;