pe</span> <a href="../../../Guest/module-type-VALUE/index.html#type-typ">typ</a> = <a href="Syntax/index.html#type-typ">Syntax.typ</a></span></span></code></div></div><div class="odoc-spec"><div class="spec type anchored" id="type-fsm"><a href="#type-fsm" class="anchor"></a><code><span><span class="keyword">type</span> fsm</span><span> = </span><span>{</span></code><ol><li id="type-fsm.name" class="def record field anchored"><a href="#type-fsm.name" class="anchor"></a><code><span>name : <a href="../../../Id