   class="p">(</span><span class="n">data</span><span class="o">=</span><span class="n">data</span><span
            class="p">,</span> <span class="n">size</span><span class="o">=</span><span class="mi">1</span><span
            class="p">,</span> <span class="n">parent</span><span class="o">=</span><span class="n">where</span><span
            class="p">,</span> <span class="n">pred</span><span class="o">=</span><span class="n">where</span><span
            class="p">,</span> <span class="n">suc</span><sp