А вот в Обероне 90-го такая возможность была, я не знал:
## Код:
```
DeclarationSequence  =  {
 CONST {ConstantDeclaration ";"} | 
 TYPE {TypeDeclaration ";"} | 
 VAR {VariableDeclaration ";"}
} 
{ProcedureDeclaration ";" | ForwardDeclaration ";"}
```
