class ARRAY_EXT{ELT} |
---|
delete_at(i:CARD, ar:ARRAY{ELT}):ARRAY{ELT} |
---|
**** | a::=ar.copy;if i<a.size-1 then a.copy(i,a.size-1-i, i+1,a); end;a:=a.resize(a.size-1);return a; |
insert_at(i:CARD,ar0:ARRAY{ELT},ar1:ARRAY{ELT}):ARRAY{ELT} |
---|
insert_at(i:CARD, ar:ARRAY{ELT}, e:ELT):ARRAY{ELT} |
---|