<aside><p>library functions</p></aside><aside><p>subrules</p></aside><aside><p>auxiliary functions</p></aside><aside><p>free variables</p></aside><aside><p>substitutions</p></aside><aside><p>context application</p></aside><aside><p>definitions</p></aside></details></div></div></div><dl><dt class="spec type" id="type-no"><a href="#type-no" class="anchor"></a><code><span class="keyword">type</span> no</code><code> = </code><table class="variant"></table></dt><dd><p>Generic empty type. This kind of type is exp