</li>
</ul>
<a id="return_">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>return_</h4>
<pre>public final&nbsp;<a href="Term100.html" title="class in hydra.ext.fr.inria.coq.syntax">Term100</a> return_</pre>
</li>
</ul>
</li>
</ul>
</section>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a id="&lt;init&gt;(hydra.ext.fr.inria.coq.syntax.Pattern,