Unquote
Obtain the object being quoted
Unquote is just an abbreviation for cadr. Its
intended use is to obtain an object being quoted. For example, if x is
(quote (3 4)) then (unquote x) is (3 4):
ACL2 !>(let ((x '(quote (3 4))))
(unquote x))
(3 4)
ACL2 !>Subtopics
- Maybe-unquote
- Unquote an object, if quoted; otherwise, leave unchanged.
