module languages/asfix/syntax/Annotations

imports languages/asfix/syntax/Tree
imports languages/aterm/syntax/ATerms

exports

context-free syntax

Tree Annotation -> Tree {cons("annotated")}