push$ (original) (raw)
Add values to the end!
Alternatives: push, push$.
Similar: push, pop, shift, unshift.
function push$(x, ...vs) // x: an array (updated!) // vs: values to add
const xarray = require('extra-array');
var x = [1, 2]; xarray.push$(x, 3); // → [ 1, 2, 3 ]
x; // → [ 1, 2, 3 ]
var x = [1, 2]; xarray.push$(x, 3, 4); // → [ 1, 2, 3, 4 ]