 href="Term.html#TYPEterm">Term.term</a> -> <a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALiapp"><span class="keyword">val</span> iapp</span> : <code class="type"><a href="Longident.html#TYPEt">Longident.t</a> -> <a href="Term.html#TYPEterm">Term.term</a> list -> <a href="Term.html#TYPEterm">Term.term</a></code></pre><pre><span id="VALiapp0"><span class="keyword">val</span> iapp0</span> : <code class="type"><a href="Longident.html#TYPEt">Longident.t</a> -> <a href="Term.html#TYPEte