ent/index.html#type-t">Ident.t</a>;</span></code></li><li id="type-fsm.model" class="def record field anchored"><a href="#type-fsm.model" class="anchor"></a><code><span>model : <a href="Syntax/index.html#type-model">Syntax.model</a>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Normalized, type-refined model</p><span class="comment-delim">*)</span></div></li><li id="type-fsm.q" class="def record field anchored"><a href="#type-fsm.q" class="anchor"></a><code><span>q : <a href="..