n a sequence.</p>
<pre class="literal-block">
typedef <a href="./vector-c.html" class="identifier">vector_c</a>&lt;int,5,-1,0,-7,-2,0,-5,4&gt; numbers;
typedef <a href="./list-c.html" class="identifier">list_c</a>&lt;int,-1,-7,-2,-5&gt; negatives;
typedef <a href="./reverse-iter-fold.html" class="identifier">reverse_iter_fold</a>&lt;
      numbers
    , <a href="./list.html" class="identifier">list</a>&lt;&gt;
    , <a href="./if.html" class="identifier">if_</a>&lt; <a href="./less.html" class="identifier">