module basic/Slices imports basic/Areas imports basic/StrCon exports sorts Slice context-free syntax "slice" "(" id:StrCon "," "[" areas:{Area","}* "]" ")" -> Slice {cons("slice")}