|
|
|---|
|
|
|
|---|
Fixtype of static environments for identifiers.
This is a finite map from identifiers to identifier static information.
In Leo, variables, constants, functions, and struct types share the same name space: for example, a function and a variable in scope cannot have the same name. Thus, it si appropriate the use a single finite map from identifiers to information about variables, constants, functions, and struct types.
Leo disallows shadowing: for example, a variable cannot be declared with the same name as a variable already in scope. Thus, we do not need to take into account variable and constant scopes, and can use a single finite map from identifiers to information.