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") :ABC ACL2 !>(symbol-name ':ABC) "ABC" ACL2 !>(symbol-package-name ':ABC) "KEYWORD" ACL2 !>
To see the ACL2 definition of this function, see pf.
