blob: e1db9cfd31a1bea5c76e34bed926dbaa7eabeed7 [file]
MODULE settest2 ;
TYPE BigSet = SET OF [0..10000];
BEGIN
(******)
END settest2.