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