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