module basic/ReadWriteCon imports basic/BytesCon imports basic/Errors exports sorts Read Write context-free syntax "read" "(" value:Bytes ")" -> Read {cons("success")} "read-error" "(" Summary ")" -> Read {cons("failure")} "written" -> Write {cons("success")} "write-error" "(" Summary ")" -> Write {cons("failure")}