rs</h4><div class="odoc-spec"><div class="spec value anchored" id="val-no_type"><a href="#val-no_type" class="anchor"></a><code><span><span class="keyword">val</span> no_type : <a href="#type-typ">typ</a></span></code></div><div class="spec-doc"><p>Special value denoting an undefined type</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-mk_type_fun"><a href="#val-mk_type_fun" class="anchor"></a><code><span><span class="keyword">val</span> mk_type_fun : <span><span><a href="#typ