Non-terminal symbol FunctorsArities

Defining rules for nonterminal symbol FunctorsArities:

FunctorsArities FunctorArity  FunctorsArities  FunctorArity

Occurrences of symbol FunctorsArities in body of other rules:

FunctorsArities_opt FunctorsArities