 href="Cofix.html" title="class in hydra.ext.fr.inria.coq.syntax">Cofix</a>&nbsp;withBody&#8203;(<a href="CofixBody.html" title="class in hydra.ext.fr.inria.coq.syntax">CofixBody</a>&nbsp;body)</pre>
</li>
</ul>
<a id="withQual(hydra.util.Opt)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>withQual</h4>
<pre class="methodSignature">public&nbsp;<a href="Cofix.html" title="class in hydra.ext.fr.inria.coq.syntax">Cofix</a>&nbsp;withQual&#8203;(hydra.util.Opt&lt;<a href="CofixQual.html"