KEYWORDP.html -- ACL2 Version 6.3

### KEYWORDP

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")
    :ABC
    ACL2 !>(symbol-name ':ABC)
    "ABC"
    ACL2 !>(symbol-package-name ':ABC)
    "KEYWORD"
    ACL2 !>

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