nction symbol. TODO: remove this restriction.</p><p>The final goal of this module is to encode all necessary information to perform a state transition. In particular, the <a href="index.html#val-run"><code>run</code></a> function should never require more argument: If extra information is required, it should be part of the runner if it is dependent on the whole program or in the state if it is specific to the state.</p></aside><div class="spec module" id="module-Reg"><a href="#module-Reg" class="anchor"></a