&nbsp;<a href="Application.html" title="class in hydra.core">Application</a>&nbsp;withFunction&#8203;(<a href="Term.html" title="class in hydra.core">Term</a>&nbsp;function)</pre>
</li>
</ul>
<a id="withArgument(hydra.core.Term)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>withArgument</h4>
<pre class="methodSignature">public&nbsp;<a href="Application.html" title="class in hydra.core">Application</a>&nbsp;withArgument&#8203;(<a href="Term.html" title="class in hydra.core">Term</a>