the last cons (not element) of a list
Major Section:  ACL2-BUILT-INS

(Last l) is the last cons of a list. Here are examples.

ACL2 !>(last '(a b . c))
(B . C)
ACL2 !>(last '(a b c))

(Last l) has a guard of (listp l); thus, l need not be a true-listp.

Last is a Common Lisp function. See any Common Lisp documentation for more information. Unlike Common Lisp, we do not allow an optional second argument for last.

To see the ACL2 definition of this function, see pf.