an class="o">.</span><span
            class="n">left</span><span class="o">.</span><span class="n">priority</span> <span
            class="o">&lt;</span> <span class="n">node</span><span class="o">.</span><span
            class="n">priority</span><span class="p">:</span>
                <span class="n">node</span> <span class="o">=</span> <span class="n">node</span><span class="o">.</span><span
            class="n">right_rotation</span><span class="p">()</span>
        <span class="k">if</span> <span cl