3 %%% DATA TYPES DEFINITIONS
9 %%% adding two more roles ( | r4 | r5 ) to the type, but never referring to them make things work
12 %%% structured datatypes
13 roleSet: TYPE = SET OF role;
14 roleGammaSet: TYPE = [# pos: roleSet, neg: roleSet #];
15 delta: TYPE = ARRAY role OF roleGammaSet;
17 emptyRoleSet : roleSet;
18 ASSERT emptyRoleSet = {} :: SET OF role;
21 ASSERT d[r3].pos = {r1};
22 ASSERT d[r2].pos = {r2,r3};
23 ASSERT d[r2].neg = {r1};