Non-terminal symbol `Const`

Defining rules for nonterminal symbol Const:

Const STRING LEXSPACE SymSpace

Occurrences of symbol Const in body of other rules:

`Atom`		`Const` `OPENPAR` `UniTermBody` `CLOSEPAR`
`Term`		`Const`
`Expr`		`Const` `OPENPAR` `UniTermBody` `CLOSEPAR`
`TermAttribute`		`Const` `ARROW` `Term`

Non-terminal symbol Const