uilding terms</h4></span><br>
<hr width="100%">
<pre><span id="VALx"><span class="keyword">val</span> x</span> : <code class="type"><a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALy"><span class="keyword">val</span> y</span> : <code class="type"><a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALz"><span class="keyword">val</span> z</span> : <code class="type"><a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALw"><span class="keyword">val<