Fun-env
Fixtype of function environments.
A function environment is a finite map
from function names (i.e. identifiers)
to information about the function.
Subtopics
- Fun-envp
- Recognizer for fun-env.
- Fun-env-fix
- (fun-env-fix x) is a usual ACL2::fty omap fixing function.
- Fun-env-equiv
- Basic equivalence relation for fun-env structures.
