tern,hydra.ext.fr.inria.coq.syntax.Pattern,hydra.ext.fr.inria.coq.syntax.Term,hydra.ext.fr.inria.coq.syntax.Term100)">LetDestructuring_Variant3</a></span>&#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,
                         <a href="Term.html" title="class in hydra.ext.fr.inria.coq.syntax">Term</a>&nbsp;term,
                   