Non-terminal symbol `Definitions_opt`

Defining rules for nonterminal symbol Definitions_opt:

`Definitions_opt`
		`Definitions_opt` `Definition` '`;`'

Occurrences of symbol Definitions_opt in body of other rules:

Implementation_opt '{' Definitions_opt '}'

Non-terminal symbol Definitions_opt