M2compiler-V2/tests/r_set.mod

MODULE RSet;
TYPE R = [0 .. 9];
VAR ExitCode : INTEGER;
    s, t : SET OF R;
    b : BOOLEAN;
BEGIN
  ExitCode := 0;
  s := s;
  t := s;
  b := 3 IN s;
  IF b THEN ExitCode := 1 ELSE ExitCode := 2 END;
  IF s = t THEN ExitCode := ExitCode + 10 END
END RSet.