1 2 3 4 5 6 7 8 9 10 11
MODULE badset3 ; VAR s10: SET OF [1..10] ; s20: SET OF [1..20] ; BEGIN IF s10 = s20 THEN END END badset3.