Funscope
Fixtype of function scopes.
This is a finite map from identifiers (function names)
to function information:
it models the function definitions in a scope.
Subtopics
- Funscopep
- Recognizer for funscope.
- Funscope-fix
- (funscope-fix x) is a usual ACL2::fty omap fixing function.
- Funscope-equiv
- Basic equivalence relation for funscope structures.
