Var-table-scope
Fixtype of scopes of variable tables.
A variable table is a symbol table for variables.
The table (see var-table) is organized as
a sequence with one element for each nested scope [C:6.2.1].
This var-table-scope fixtype
contains information about such a scope.
The information is organized as a finite map
from identifiers (variable names) to static information for variables.
Using a map is adequate because
all the variables declared in a scope must have different names
[C:6.2.1/2].
The scope may be a file scope or a block scope [C:6.2.1/4].
Subtopics
- Var-table-scope-fix
- (var-table-scope-fix x) is a usual ACL2::fty omap fixing function.
- Var-table-scopep
- Recognizer for var-table-scope.
- Var-table-scope-equiv
- Basic equivalence relation for var-table-scope structures.
