		Search-engine friendly clone of the ACL2 documentation.

Combinational-type

Ctypep

Recognizer for valid combinational-type keywords.

Signature
(ctypep x) → bool

Definitions and Theorems

Function: ctypep

(defun ctypep (x)
       (declare (xargs :guard t))
       (let ((__function__ 'ctypep))
            (declare (ignorable __function__))
            (member x
                    (list (in-ctype)
                          (out-ctype)
                          (gate-ctype)
                          (const-ctype)))))