 class="o">=</span> <span class="n">current</span><span
            class="o">.</span><span class="n">suc</span>
            <span class="n">cnt</span> <span class="o">+=</span> <span class="mi">1</span>
        <span class="k">return</span> <span class="n">euler_tour</span></div>

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