module basic/ParsetreeCon[X]

imports basic/BytesCon
imports basic/NatCon
imports basic/Errors

exports
sorts Parsetree

context-free syntax
  "parse-tree" "(" left-layout:Bytes "," tree:X "," right-layout:Bytes "," amb-cnt:NatCon ")" -> Parsetree[[X]] {cons("success")} 
  "parse-error" "(" Summary ")"                                                               -> Parsetree[[X]] {cons("failure")}