></a><code><span>tp_insts : <span><span>(<a href="../../../../../Ident/index.html#type-t">Ident.t</a> * <a href="../Syntax/index.html#type-model">HostSyntax.model</a>)</span> list</span>;</span></code></li></ol><code><span>}</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mk_env"><a href="#val-mk_env" class="anchor"></a><code><span><span class="keyword">val</span> mk_env : <span>unit <span class="arrow">&#45;&gt;</span></span> <a href="#type-env">env</a></span></code