M2compiler-V3/docs/gaps/gap17_set_of_cardinal.mod

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.