ntrol</a> &#x00BB; <a href="../index.html">Control</a> &#x00BB; State1</nav><h1>Module <code>Control.State1</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-S/index.html">S</a> : <a href="../index.html#module-type-Type1">Type1</a></code></li></ul><h3 class="heading">Signature</h3><dl><dt class="spec type" id="type-state"><a href="#type-state" class="anchor"></a><code><span class="keyword">type</span> <span>'x state</span></code><code> = <span><span class="type-var">'x