id="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a id="&lt;init&gt;(hydra.ext.fr.inria.coq.syntax.Ident,java.util.List)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>Qualid</h4>
<pre>public&nbsp;Qualid&#8203;(<a href="Ident.html" title="class in hydra.ext.fr.inria.coq.syntax">Ident</a>&nbsp;id,
              java.util.List&lt;<a href="FieldIdent.html" title="class in hydra.ext.fr.inria.coq.syntax">FieldIdent</a>&gt;&nbsp;fieldIds)</pre>
</li>
</ul>
</li>
</ul>
