ref="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALapp1"><span class="keyword">val</span> app1</span> : <code class="type"><a href="Parsetree.html#TYPEgenerator">Parsetree.generator</a> -> <a href="Term.html#TYPEterm">Term.term</a> -> <a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALapp2"><span class="keyword">val</span> app2</span> : <code class="type"><a href="Parsetree.html#TYPEgenerator">Parsetree.generator</a> -> <a href="Term.html#TYPEterm">Term.term</a> -> <a