IMPROPER-CONSP

recognizer for improper (non-null-terminated) non-empty lists 
Major Section:  ACL2-BUILT-INS

Improper-consp is the function that checks whether its argument is a non-empty list that ends in other than nil. See proper-consp and also see true-listp.

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