module basic/File

imports basic/Path
imports basic/StrCon

exports

context-free start-symbols File

sorts File
context-free syntax
  "file" "(" path:Path "," name:StrCon "," extension:StrCon ")" -> File {cons("file")}