cpp"><div class="highlight"><pre><span class="n">assert</span><span class="p">(</span><span class="n">reverse_fold</span><span class="p">(</span><span class="n">f</span><span class="p">,</span> <span class="n">z</span><span class="p">)()</span> <span class="o">==</span> <span class="n">z</span><span class="p">);</span>
<span class="n">assert</span><span class="p">(</span><span class="n">reverse_fold</span><span class="p">(</span><span class="n">f</span><span class="p">,</span> <span class="n">z</span><span 