Tree.check_heap_invariant">[docs]</a>    <span
        class="k">def</span> <span class="nf">check_heap_invariant</span><span class="p">(</span><span
        class="bp">self</span><span class="p">):</span>
        <span class="sd">&quot;&quot;&quot;</span>
<span class="sd">        Check the heap invariant of the Treap</span>

<span class="sd">        :return: True if invariant respected, False otherwise</span>
<span class="sd">        &quot;&quot;&quot;</span>
        <span class="k">return</span> <span cla