# Non-terminal symbol `Const`

rule(s) | occurrences

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`

Copyright © 2008 ILOG, Inc.; All Rights Reserved.