Non-terminal symbol FunctorArity

Defining rules for nonterminal symbol FunctorArity:

FunctorArity FUNCTOR  SlashOpt  NATURAL

Occurrences of symbol FunctorArity in body of other rules:

FunctorsArities FunctorArity  FunctorsArities FunctorsArities  FunctorArity