LAST.html -- ACL2 Version 6.3

### LAST

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