4.3 Scope

Variables, just as any identier, obey the general rules of scope. In addition, initialized variables are initialized when they enter scope:

Note that the behaviour for local initialized variables is dierent from the one of a local typed constant. A local typed constant behaves like a global initialized variable.