Recognizer for valid typecodes.
(typecodep x) → *
Function: typecodep
(defun typecodep (x) (declare (xargs :guard t)) (let ((__function__ 'typecodep)) (declare (ignorable __function__)) (and (natp x) (< x 4))))
