M2compiler-V3/docs/gaps/gap17_set_of_cardinal.mod

MODULE Gap17SetOfCardinal;
(* GAP gap17-set-of-cardinal: SET OF CARDINAL has an unbounded base.
   Corpus: settest3.
   EXPECT: not supported yet (230). *)
TYPE big = SET OF CARDINAL;
VAR s : big;
BEGIN END Gap17SetOfCardinal.