 id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt><dd><p>the type of (non-bottom) abstract elements</p></dd></dl><dl><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val</span> empty : <a href="index.html#type-t">t</a></code></dt><dd><p>returns an empty element</p></dd></dl><section><header><h2 id="variables-management"><a href="#variables-management" class="anchor"></a>Variables management</h2></he