OsfV0Doc/OsfV0_NT_05.html

# Non-terminal symbol `SortExpression`

rule(s) | occurrences

Defining rules for nonterminal symbol `SortExpression`:

`SortExpression` |  | `Sort`
|  | '`{`' `SortList` '`}`'
|  | `NOT` `SortExpression`
|  | `SortExpression` `AND` `SortExpression`
|  | `SortExpression` `OR` `SortExpression`
|  | `SortExpression` `BUTNOT` `SortExpression`
|  | '`(`' `SortExpression` '`)`'

Occurrences of symbol `SortExpression` in body of other rules:

`UntaggedPsiTerm` |  | `SortExpression` `Body_opt`
`PragmaArguments_opt` |  | `SortExpression`
`PragmaArguments_opt` |  | `SortExpression` `SortExpression`

Copyright © 2013 by Hassan Aït-Kaci; All Rights Reserved.