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
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
To see the ACL2 definition of this function, see pf.