l</h3>
<a id="&lt;init&gt;(hydra.ext.fr.inria.coq.syntax.CofixBody,hydra.util.Opt)">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>Cofix</h4>
<pre>public&nbsp;Cofix&#8203;(<a href="CofixBody.html" title="class in hydra.ext.fr.inria.coq.syntax">CofixBody</a>&nbsp;body,
             hydra.util.Opt&lt;<a href="CofixQual.html" title="class in hydra.ext.fr.inria.coq.syntax">CofixQual</a>&gt;&nbsp;qual)</pre>
</li>
</ul>
</li>
</ul>
</section>
<!-- ============ METHOD DETAIL ========== -->