Lstate
Fixtype of local states.
[Yul: Specification of Yul: Formal Specification] introduces
the notion of local state object as
a finite map from identifiers to values.
Subtopics
- Lstate-fix
- (lstate-fix x) is a usual ACL2::fty omap fixing function.
- Lstatep
- Recognizer for lstate.
- Lstate-equiv
- Basic equivalence relation for lstate structures.
