sses:</dt>
<dd><code><a href="Term0.Evar.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.Evar</a></code>, <code><a href="Term0.Generalizing.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.Generalizing</a></code>, <code><a href="Term0.Ltac.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.Ltac</a></code>, <code><a href="Term0.Match.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.Match</a></code>, <code><a href="Term0.Parens.html" title="class in hydra.ext.fr.inria.co