Scope

Defines where variables can be defined or accessed.

For instance, an operator body is a scope. An inside this scope, each branch of an activate or each state in a state machine is a scope at lower level.

A scope is composed of several scope sections.

Syntax

scope: { scope_section*}

where a scope_section is either:

a set of local variable declarations
```
var (var_decl ;)*
```
a set of equations
```
let (equation ;)*
```

a set of emissions

emit (emission ;)*

where

emission: 'ID(, 'ID)* (if expr>)?

a set of assertions

assume (ID:expr ;)*

guarantee (ID:expr ;)*

assert (ID:expr ;)*

a block diagram description : see Operator Body (Diagram)