Adds an item to an array.
void push(arraytype &array; type value)
Increases the size of the array by 1.
This is the equivalent of the following code:
void push(arraytype a, type value) { int len = arraylength(a); resize(a, len+1); a[len] = value; }
Adds an item to an array.
void push(arraytype &array; type value)
Increases the size of the array by 1.
This is the equivalent of the following code:
void push(arraytype a, type value) { int len = arraylength(a); resize(a, len+1); a[len] = value; }
Contexts: all