module languages/asfix/syntax/Parsetree imports languages/asfix/syntax/Tree imports languages/aterm/syntax/IntCon exports sorts ParseTree context-free syntax parsetree(top:Tree,amb-cnt:NatCon) -> ParseTree {cons("top")}