<td class="field-body"><p class="first">Equivalent to</p>
<pre class="last literal-block">
typedef <a href="./lambda.html" class="identifier">lambda</a>&lt;pred&gt;::type p;
typedef <a href="./lambda.html" class="identifier">lambda</a>&lt;in::operation&gt;::type op;

typedef <a href="./reverse-fold.html" class="identifier">reverse_fold</a>&lt;
      s
    , in::state
    , <a href="./eval-if.html" class="identifier">eval_if</a>&lt;
          <a href="./apply-wrap.html" class="identifier">apply_wrap</a><tt c