module z/lexical/Keywords
exports
  sorts Keyword
  lexical syntax
    "else" -> Keyword
    "false" -> Keyword
    "function" -> Keyword
    "generic" -> Keyword
    "if" -> Keyword
    "leftassoc" -> Keyword
    "let" -> Keyword
    "ℙ" -> Keyword
    "parents" -> Keyword
    "pre" -> Keyword
    "relation" -> Keyword
    "rightassoc" -> Keyword
    "section" -> Keyword
    "then" -> Keyword
    "true" -> Keyword
  lexical restrictions
    "else"
    "false"
    "function"
    "generic"
    "if"
    "leftassoc"
    "let"
    "ℙ"
    "parents"
    "pre"
    "relation"
    "rightassoc"
    "section"
    "then"
    "true"  -/- [A-Za-z0-9\_\$]

