Major Section: ACL2-BUILT-INS
(Nth n l) is the
nth element of
l, zero-based. If
greater than or equal to the length of
(Nth n l) has a guard that
n is a non-negative integer and
l is a
Nth is a Common Lisp function. See any Common Lisp documentation
for more information.
To see the ACL2 definition of this function, see pf.