index.html#type-optdef">optdef</a></span> <a href="../index.html#type-meth">meth</a></span></code></dt><dt class="spec method" id="method-push"><a href="#method-push" class="anchor"></a><code><span class="keyword">method</span> push : <span class="type-var">'a</span> <span>&#45;&gt;</span> <span>int <a href="../index.html#type-meth">meth</a></span></code></dt><dt class="spec method" id="method-push_2"><a href="#method-push_2" class="anchor"></a><code><span class="keyword">method</span> push_2 : <span class=