Non-terminal symbol SortExpression

rule(s)occurrences


Defining rules for nonterminal symbol SortExpression:

SortExpression Constant 
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 


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