Array.resize(3kaya)
Resize an array.
Void resize( var [a] xs, Int i )
xs The array to resize
xs
i The new length
i
Change the size of the array to i If the array is longer than i , later items are dropped. If it is shorter, uninitialised values are pushed onto the array.
4 releases since Debian 5.0 (Lenny); the text changed 3 times.