 id="withTerm(hydra.ext.fr.inria.coq.syntax.Term)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withTerm</h4>
<pre class="methodSignature">public&nbsp;<a href="LetDestructuring_Variant3.html" title="class in hydra.ext.fr.inria.coq.syntax">LetDestructuring_Variant3</a>&nbsp;withTerm&#8203;(<a href="Term.html" title="class in hydra.ext.fr.inria.coq.syntax">Term</a>&nbsp;term)</pre>
</li>
</ul>
<a id="withReturn(hydra.ext.fr.inria.coq.syntax.Term100)">
<!--   -->
</a>
<ul class="blockList