</h4>
<pre class="methodSignature">public&nbsp;<a href="Qualid.html" title="class in hydra.ext.fr.inria.coq.syntax">Qualid</a>&nbsp;withId&#8203;(<a href="Ident.html" title="class in hydra.ext.fr.inria.coq.syntax">Ident</a>&nbsp;id)</pre>
</li>
</ul>
<a id="withFieldIds(java.util.List)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>withFieldIds</h4>
<pre class="methodSignature">public&nbsp;<a href="Qualid.html" title="class in hydra.ext.fr.inria.coq.syntax">Qualid</a>&nbsp;withField