class ARRAY_EXT{ELT}


Flattened version is here



Public


Features
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}

The Sather Home Page