Terminal symbol `FUN`

Occurrences of symbol FUN in grammar rules:

`PragmaName`		`FUN`
`FunPragma`		`FUN` `FunctorsArities_opt`

Terminal symbol FUN