Non-terminal symbol PragmaName

Defining rules for nonterminal symbol PragmaName:

PragmaName HELP  FUN  SIG  SIM  CLOSE  SHOW  FUNCLASS  TERMCLASS  FUNREP  TERMREP  MAP  COMP  LOAD  TRACE  RESET

Occurrences of symbol PragmaName in body of other rules:

PragmaName_opt PragmaName