s="field-body"><p class="first">Equivalent to</p>
<pre class="literal-block">
typedef <a href="./begin.html" class="identifier">begin</a>&lt;s&gt;::type i<sub>1</sub>;
typedef <a href="./next.html" class="identifier">next</a>&lt;i<sub>1</sub>&gt;::type i<sub>2</sub>;
<em>...</em>
typedef <a href="./next.html" class="identifier">next</a>&lt;i<sub>n</sub>&gt;::type last;
typedef <a href="./apply.html" class="identifier">apply</a>&lt;backward_op,state,i<sub>n</sub>&gt;::type state<sub>n</sub>;
typedef <a href=