reading symbolic information ...
type Color = (RED, BLUE, GREEN);
type ColorSet = set of Color;
[1] stop in p
[1] stopped in p at line 9
9 begin
stopped in p at line 10
10 s := [RED, BLUE];
p(s = []), line 10 in "sets.p"
program(), line 14 in "sets.p"
main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
stopped in p at line 11
11 end;
[RED, BLUE]
stopped in program at line 15
15 if BLUE in s then begin
stopped in program at line 16
16 s := s - [BLUE];
stopped in program at line 18
18 end.
program(), line 18 in "sets.p"
main(0x1, 0x7fffe7e8, 0x7fffe7f0) at 0xa9
[RED]