q.syntax">Term0.Parens</a></code>, <code><a href="Term0.PrimitiveNotations.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.PrimitiveNotations</a></code>, <code><a href="Term0.QualidAnnotated.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.QualidAnnotated</a></code>, <code><a href="Term0.Record.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.Record</a></code>, <code><a href="Term0.Sort.html" title="class in hydra.ext.fr.inria.coq.syntax">Term0.Sort</a></code></dd>
</dl>
<hr>
