aption>
<tr>
<th class="colFirst" scope="col">Constructor</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tr class="altColor">
<th class="colConstructorName" scope="row"><code><span class="memberNameLink"><a href="#%3Cinit%3E(hydra.ext.fr.inria.coq.syntax.CofixBody,hydra.util.Opt)">Cofix</a></span>&#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">