recognizer for true (proper) lists of true lists
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.