a></h2>
<div class="highlight-cpp"><div class="highlight"><pre><span class="n">assert</span><span class="p">(</span><span class="n">partial</span><span class="p">(</span><span class="n">f</span><span class="p">)(</span><span class="n">xs</span><span class="p">...)(</span><span class="n">ys</span><span class="p">...)</span> <span class="o">==</span> <span class="n">f</span><span class="p">(</span><span class="n">xs</span><span class="p">...,</span> <span class="n">ys</span><span class="p">...));</span>
</pre