module languages/asfix/syntax/Annotations imports languages/asfix/syntax/Tree imports languages/aterm/syntax/ATerms exports context-free syntax Tree Annotation -> Tree {cons("annotated")}