/../../Ident/index.html#type-t">Ident.t</a>;</span></code></li><li id="type-fsm.vars" class="def record field anchored"><a href="#type-fsm.vars" class="anchor"></a><code><span>vars : <span><a href="Value/index.html#type-t">Value.t</a> <a href="../../../Env/index.html#type-t">Env.t</a></span>;</span></code></li></ol><code><span>}</span></code></div><div class="spec-doc"><p>FSM instances</p></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-ctx_comp"><a href="#type-ctx_comp" class="an