Non-terminal symbol `Types_opt`

Defining rules for nonterminal symbol Types_opt:

`Types_opt`
		`Types`

Occurrences of symbol Types_opt in body of other rules:

`FunctionType`		'`(`' `Types_opt` '`)`' '`->`' `Type`
`TupleTypeComponents`		`Types_opt`

Non-terminal symbol Types_opt