g_Variant3.html" 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="#withPattern2(hydra.ext.fr.inria.coq.syntax.Pattern)">withPattern2</a></span>&#8203;(<a href="Pattern.html" title="class in hydra.ext.fr.inria.coq.syntax">Pattern</a>&nbsp;pattern2)</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code><a href="LetDestructuring_Variant3.html