Oberon Language's Syntax: production rules

VariableDeclaration:

VariableDeclaration = IdentList ":" type

Places in the syntax where you might come from: DeclarationSequence