e></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#withBody(hydra.ext.fr.inria.coq.syntax.CofixBody)">withBody</a></span>&#8203;(<a href="CofixBody.html" title="class in hydra.ext.fr.inria.coq.syntax">CofixBody</a>&nbsp;body)</code></th>
<td class="colLast">&nbsp;</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code><a href="Cofix.html" title="class in hydra.ext.fr.inria.coq.syntax">Cofix</a></code></td>
<th class="colSecond" scope="row"><code><span class="