module basic/Slices

imports basic/Areas
imports basic/StrCon

exports

sorts Slice

context-free syntax

"slice" "(" id:StrCon "," "[" areas:{Area","}* "]" ")" -> Slice {cons("slice")}