Functions for Manipulating these Objects

Consider a typical ``stack'' of control frames.


The natural expression of this notion involves





Common Lisp is the language supported by ACL2. To be precise, a small applicative subset of Common Lisp is the language supported by ACL2.