"./apply.html" class="identifier">apply</a>&lt;backward_op,state<sub>n</sub>,i<sub>n-1</sub>&gt;::type state<sub>n-1</sub>;
<em>...</em>
typedef <a href="./apply.html" class="identifier">apply</a>&lt;backward_op,state<sub>2</sub>,i<sub>1</sub>&gt;::type state<sub>1</sub>;
typedef state<sub>1</sub> t;
</pre>
<p class="last">where <tt class="literal"><span class="pre">n</span> <span class="pre">==</span> <span class="pre"><a href="./size.html" class="identifier">size</a>&lt;s&gt;::value</span></tt> and <tt cl