The identity function
(Identity x) equals x; what else can we say?
Identity is a Common Lisp function. See any Common Lisp documentation for more information.
Function: identity
(defun identity (x) (declare (xargs :guard t)) x)
