ax.model</a> list</span>;</span></code><div class="def-doc"><span class="comment-delim">(*</span><p>Original, un-type-refined and un-normalized models. Not used any longer</p><span class="comment-delim">*)</span></div></li><li id="type-t.fsms" class="def record field anchored"><a href="#type-t.fsms" class="anchor"></a><code><span>fsms : <span><a href="#type-fsm">fsm</a> list</span>;</span></code></li><li id="type-t.globals" class="def record field anchored"><a href="#type-t.globals" class="anchor"></a><code