11 lines
220 B
Text
11 lines
220 B
Text
MOD Doors;
|
|
|
|
IMP IO.Terminal USE Out;
|
|
|
|
DEF open <- ALL 1:to(100) ^ 2 \ $ <= 100;
|
|
DEF closed <- ALL 1:to(100) \ NOT $ IN open;
|
|
|
|
Out:write('Doors {open} are open.\n');
|
|
Out:write('Doors {closed} are closed.\n');
|
|
|
|
END Doors.
|