primitivep-tests

(in-package "ACL2")

(assert! (primitivep 'cons))

(assert! (primitivep 'binary-+))

(assert! (not (primitivep 'len)))

(must-succeed* (defun f (x) x)
  (assert! (not (primitivep 'f))))

(assert! (not (primitivep 'xxxxxxxxxxxxxxxxxxxxxx)))