</div><div class="spec-doc"><p>The type of dynamic environments, mapping identifiers to values.</p></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></div><div class="spec-doc"><p><code>mk_env ()</code> should return a new, empty dynamic environment</p></div></div><div class="odoc-spec"