class in hydra.ext.fr.inria.coq.syntax">Qualid</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#withFieldIds(java.util.List)">withFieldIds</a></span>&#8203;(java.util.List&lt;<a href="FieldIdent.html" title="class in hydra.ext.fr.inria.coq.syntax">FieldIdent</a>&gt;&nbsp;fieldIds)</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code><a href="Qualid.html" title="class in hydra.ext.fr.inria.coq.syntax">Qualid</