Non-terminal symbol FunPragma

Defining rules for nonterminal symbol FunPragma:

FunPragma FUN  FunctorsArities_opt

Occurrences of symbol FunPragma in body of other rules:

Pragma FunPragma