r><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> = <span class="type-var">'s</span> <span>&#45;&gt;</span> <span><span>(<span class="type-var">'s</span>, <span class="type-var">'a</span>)</span