Funtable
Fixtype of function tables.
These are symbol tables for functions.
A table is a finite map from function names (identifiers)
to function types (as defined above).
Subtopics
- Funtablep
- Recognizer for funtable.
- Funtable-fix
- (funtable-fix x) is a usual ACL2::fty omap fixing function.
- Funtable-equiv
- Basic equivalence relation for funtable structures.
