pec"><div class="spec type anchored" id="type-t"><a href="#type-t" class="anchor"></a><code><span><span class="keyword">type</span> t</span><span> = </span><span>{</span></code><ol><li id="type-t.ctx" class="def record field anchored"><a href="#type-t.ctx" class="anchor"></a><code><span>ctx : <a href="#type-ctx">ctx</a>;</span></code></li><li id="type-t.models" class="def record field anchored"><a href="#type-t.models" class="anchor"></a><code><span>models : <span><a href="Syntax/index.html#type-model">Synt