MODULE Gap17SetOfCardinal;
(* Implementation limit: SET OF CARDINAL (unbounded base).  Class:
   impl-limit (usually rejected by implementations too).
   Corpus: settest3.
   V3: not supported yet. *)
TYPE big = SET OF CARDINAL;
VAR s : big;
BEGIN END Gap17SetOfCardinal.