Nonterminals

EndOfStatement

IsaDeclarationStatement

OsfExpression

OsfV1Program

PragmaArguments_opt

SortDeclarationStatement

SortExpression

Statements_opt

StatementType

UntaggedPsiTerm

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