Non-terminal symbol HelpPragma

Defining rules for nonterminal symbol HelpPragma:

HelpPragma HELP  PragmaName_opt

Occurrences of symbol HelpPragma in body of other rules:

Pragma HelpPragma