ef="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALvars"><span class="keyword">val</span> vars</span> : <code class="type">int -> <a href="Term.html#TYPEterm">Term.term</a> list</code></pre></body></html>