NTH.html -- ACL2 Version 6.3

### NTH

the nth element (zero-based) of a list

    Major Section:  ACL2-BUILT-INS

`(Nth n l)` is the `n`th element of `l`, zero-based. If `n` is greater than or equal to the length of `l`, then `nth` returns `nil`.

`(Nth n l)` has a guard that `n` is a non-negative integer and `l` is a `true-listp`.

`Nth` is a Common Lisp function. See any Common Lisp documentation for more information.

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