ogram" class="anchor"></a><code><span><span class="keyword">type</span> typed_program</span><span> = </span><span>{</span></code><ol><li id="type-typed_program.tp_models" class="def record field anchored"><a href="#type-typed_program.tp_models" class="anchor"></a><code><span>tp_models : <span><a href="../Syntax/index.html#type-model">HostSyntax.model</a> list</span>;</span></code></li><li id="type-typed_program.tp_insts" class="def record field anchored"><a href="#type-typed_program.tp_insts" class="anchor"