       <span class="k">return</span> <span class="n">T1</span>
    <span class="k">else</span><span class="p">:</span>
        <span class="n">T2</span><span class="o">.</span><span class="n">left</span> <span class="o">=</span> <span
                        class="n">_union_treap</span><span class="p">(</span><span class="n">T1</span><span
                        class="p">,</span> <span class="n">T2</span><span class="o">.</span><span
                        class="n">left</span><span class="p">)</span>
 