Major Section: ACL2-BUILT-INS
True-list-listp is the function that checks whether its argument
is a list that ends in, or equals, nil, and furthermore, all of
its elements have that property. Also see true-listp.
To see the ACL2 definition of this function, see pf.
