an class="Other">[</span><span class="Identifier">seq</span><span class="Other">[</span><span class="Identifier">int16</span><span class="Other">]</span><span class="Other">]</span></pre></dt>
<dd>



</dd>
<a id="ZclosureStates"></a>
<dt><pre><a href="nfa.html#ZclosureStates"><span class="Identifier">ZclosureStates</span></a> <span class="Other">=</span> <span class="Identifier">seq</span><span class="Other">[</span><span class="Identifier">seq</span><span class="Other">[</span><a href="nodetype.html#Node"