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)) (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.
