th
remains 0.</p></div></div><div class="field "><a name="push"></a><h3 class="anchor"><code><a href="#push"><span class="identifier">push</span></a>(<span style="white-space:nowrap">x:<span class="type">T</span></span>):<a class="type" title="Int - The standard Int type." href="./Int.html">Int</a></code></h3><div class="doc"><p>Adds the element <code>x</code> at the end of <code>this</code> Array and returns the new
length of <code>this</code> Array.</p>
<p>This operation modifies <code>this</code> Array i