recognizer for keywords
Major Section:  ACL2-BUILT-INS

(Keywordp x) is true if and only if x is a keyword, i.e., a symbol in the "KEYWORD" package. Such symbols are typically printed using a colon (:) followed by the symbol-name of the symbol.

Keywordp has a guard of t.

Keywordp is a Common Lisp function. See any Common Lisp documentation for more information. The following log may be illuminating.

ACL2 !>(intern "ABC" "KEYWORD")
ACL2 !>(symbol-name ':ABC)
ACL2 !>(symbol-package-name ':ABC)
ACL2 !>

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