t.fr.inria.coq.syntax">CofixBody</a> body</pre>
</li>
</ul>
<a id="qual">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>qual</h4>
<pre>public final&nbsp;hydra.util.Opt&lt;<a href="CofixQual.html" title="class in hydra.ext.fr.inria.coq.syntax">CofixQual</a>&gt; qual</pre>
</li>
</ul>
</li>
</ul>
</section>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detai