> list</span>;</span></code></li><li id="type-model_desc.vars" class="def record field anchored"><a href="#type-model_desc.vars" class="anchor"></a><code><span>vars : <span><span>(<a href="../../../../../Ident/index.html#type-t">Ident.t</a> * <a href="#type-type_expr">type_expr</a>)</span> list</span>;</span></code></li><li id="type-model_desc.trans" class="def record field anchored"><a href="#type-model_desc.trans" class="anchor"></a><code><span>trans : <span><a href="#type-transition">transition</a> list<