M2compiler-V3/docs/gaps/gap16_wide_set.mod

MODULE Gap16WideSet;
(* GAP gap16-wide-set: SET OF [0..100000] exceeds the 65536-value span.
   Corpus: settest1.
   EXPECT: not supported yet (230). *)
TYPE big = SET OF [0..100000];
VAR s : big;
BEGIN END Gap16WideSet.