Non-terminal symbol PragmaName_opt

Defining rules for nonterminal symbol PragmaName_opt:

PragmaName_opt PragmaName

Occurrences of symbol PragmaName_opt in body of other rules:

HelpPragma HELP  PragmaName_opt