e="class in hydra.ext.fr.inria.coq.syntax">Pattern</a> pattern1</pre>
</li>
</ul>
<a id="pattern2">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>pattern2</h4>
<pre>public final&nbsp;<a href="Pattern.html" title="class in hydra.ext.fr.inria.coq.syntax">Pattern</a> pattern2</pre>
</li>
</ul>
<a id="term">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>term</h4>
<pre>public final&nbsp;<a href="Term.html" title="class in hydra.ext.fr.inria.coq.syntax">Term</a> term</pre>
