module basic/Locations imports basic/Areas imports basic/StrCon exports sorts Location context-free syntax "file" "(" filename:StrCon ")" -> Location {cons("file")} a:"area" "(" Area ")" -> Location {cons("area")} "area-in-file" "(" filename:StrCon "," Area ")" -> Location {cons("area-in-file")}