nal&nbsp;<a href="Ident.html" title="class in hydra.ext.fr.inria.coq.syntax">Ident</a> id</pre>
</li>
</ul>
<a id="fieldIds">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>fieldIds</h4>
<pre>public final&nbsp;java.util.List&lt;<a href="FieldIdent.html" title="class in hydra.ext.fr.inria.coq.syntax">FieldIdent</a>&gt; fieldIds</pre>
</li>
</ul>
</li>
</ul>
</section>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a 