n>
            <span class="n">last</span><span class="o">.</span><span class="n">suc</span> <span class="o">=</span> <span
            class="n">after_where</span>

        <span class="k">return</span> <span class="n">T_left</span><span class="p">,</span> <span
            class="n">T_right</span></div>

<div class="viewcode-block" id="EulerTourTree.releaf"><a class="viewcode-back"
                                                         href="../../../straph.etf.html#straph.etf.EulerTourTree.EulerTourTre