Dimb-scope
Fixtype of scopes in disambiguation tables.
An identifier may have different meanings in different scopes,
but it must have one meaning within the same scope.
Thus, we represent scopes as alists from identifiers to their kinds.
Subtopics
- Dimb-scopep
- Recognizer for dimb-scope.
- Dimb-scope-fix
- (dimb-scope-fix x) is an ACL2::fty alist fixing function that follows the fix-keys strategy.
- Dimb-scope-equiv
- Basic equivalence relation for dimb-scope structures.
