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")}