CONSP

recognizer for cons pairs 
Major Section:  ACL2-BUILT-INS

(consp x) is true if and only if x is a cons pair.