MiniAgda-0.2022.3.11: test/fail/NumbersAsIds.ma
--2010-06-25 feature "numbers as ids" removed, numbers are now sizes
data 3 : Set
{ 0 : 3
; 1 : 3
; 2 : 3
}
--2010-06-25 feature "numbers as ids" removed, numbers are now sizes
data 3 : Set
{ 0 : 3
; 1 : 3
; 2 : 3
}