		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)))))