Non-terminal symbol FunctorsArities_opt

Defining rules for nonterminal symbol FunctorsArities_opt:

FunctorsArities_opt FunctorsArities

Occurrences of symbol FunctorsArities_opt in body of other rules:

FunPragma FUN  FunctorsArities_opt