rm.html" title="class in hydra.core">Term</a> function</pre>
<div class="block">The left-hand side of the application</div>
</li>
</ul>
<a id="argument">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>argument</h4>
<pre>public final&nbsp;<a href="Term.html" title="class in hydra.core">Term</a> argument</pre>
<div class="block">The right-hand side of the application</div>
</li>
</ul>
</li>
</ul>
</section>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<section role="region">
<ul class