ass="anchored"><td class="def field"><a href="#type-accum.accum" class="anchor"></a><code>accum : <span class="type-var">'s</span>;</code></td></tr><tr id="type-accum.value" class="anchored"><td class="def field"><a href="#type-accum.value" class="anchor"></a><code>value : <span class="type-var">'a</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-state"><a href="#type-state" class="anchor"></a><code><span class="keyword">type</span> <span>('s, 'a) state</span></code><code> =