24 #ifndef _SIGTYPERULES_
25 #define _SIGTYPERULES_
A CTree = (Node x [CTree]) is a Node associated with a list of subtrees called branches.
void annotationStatistics()
print annotation statistics
void typeAnnotation(Tree term)
Annotates a signal term and its subterms with type information.
Type getCertifiedSigType(Tree term)
Return the type of a previously annotated signal term.