" title="class in hydra.ext.fr.inria.coq.syntax">LetDestructuring_Variant3</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#withReturn(hydra.ext.fr.inria.coq.syntax.Term100)">withReturn</a></span>&#8203;(<a href="Term100.html" title="class in hydra.ext.fr.inria.coq.syntax">Term100</a>&nbsp;return_)</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code><a href="LetDestructuring_Variant3.html" title="class in hy