/span> w</span> : <code class="type"><a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALapp"><span class="keyword">val</span> app</span> : <code class="type"><a href="Parsetree.html#TYPEgenerator">Parsetree.generator</a> -> <a href="Term.html#TYPEterm">Term.term</a> list -> <a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALapp0"><span class="keyword">val</span> app0</span> : <code class="type"><a href="Parsetree.html#TYPEgenerator">Parsetree.generator</a> -> <a h