>> Title << >> Synopsis << >> Contents << >> API Index << RACR Reference Manual Contents Introduction Requirements and Installation Library Overview Architecture Instantiation API Abstract Syntax Trees Specification Construction Traversal Node Information Attribution Specification Evaluation and Querying Rewriting Primitive Rewrite Functions Rewrite Strategies AST Annotations Attachment Querying Support API