pe-meth">meth</a></span></code></dt><dt class="spec method" id="method-push_4"><a href="#method-push_4" class="anchor"></a><code><span class="keyword">method</span> push_4 : <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <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-reduce">