de><span class="memberNameLink"><a href="#FIELD_NAME_QUAL">FIELD_NAME_QUAL</a></span></code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>hydra.util.Opt&lt;<a href="CofixQual.html" title="class in hydra.ext.fr.inria.coq.syntax">CofixQual</a>&gt;</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#qual">qual</a></span></code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static 