Major Section: ACL2-BUILT-INS
(Identity x) equals x; what else can we say?
(Identity x)
x
Identity is a Common Lisp function. See any Common Lisp documentation for more information.
Identity
