Last">
<li class="blockList">
<h4>withReturn</h4>
<pre class="methodSignature">public&nbsp;<a href="LetDestructuring_Variant3.html" title="class in hydra.ext.fr.inria.coq.syntax">LetDestructuring_Variant3</a>&nbsp;withReturn&#8203;(<a href="Term100.html" title="class in hydra.ext.fr.inria.coq.syntax">Term100</a>&nbsp;return_)</pre>
</li>
</ul>
</li>
</ul>
</section>
</li>
</ul>
</div>
</div>
</main>
<!-- ========= END OF CLASS DATA ========= -->
<footer role="contentinfo">
<nav role="navigation">
<!-- =====