rm">Term.term</a></code></pre><pre><span id="VALiapp1"><span class="keyword">val</span> iapp1</span> : <code class="type"><a href="Longident.html#TYPEt">Longident.t</a> -> <a href="Term.html#TYPEterm">Term.term</a> -> <a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALiapp2"><span class="keyword">val</span> iapp2</span> : <code class="type"><a href="Longident.html#TYPEt">Longident.t</a> -> <a href="Term.html#TYPEterm">Term.term</a> -> <a href="Term.html#TYPEterm">Term.term</a> -> <a hr