Recognizer for vl-coredatatype-info structures.
(vl-coredatatype-info-p x) → *
Function:
(defun vl-coredatatype-info-p (x) (declare (xargs :guard t)) (let ((__function__ 'vl-coredatatype-info-p)) (declare (ignorable __function__)) (and (std::prod-consp x) (std::prod-consp (std::prod-car x)) (std::prod-consp (std::prod-cdr (std::prod-car x))) (std::prod-consp (std::prod-cdr x)) (std::prod-consp (std::prod-car (std::prod-cdr x))) (std::prod-consp (std::prod-cdr (std::prod-cdr x))) (b* ((coretypename (std::prod-car (std::prod-car x))) (keyword (std::prod-car (std::prod-cdr (std::prod-car x)))) (default-signedp (std::prod-cdr (std::prod-cdr (std::prod-car x)))) (takes-signingp (std::prod-car (std::prod-car (std::prod-cdr x)))) (takes-dimensionsp (std::prod-cdr (std::prod-car (std::prod-cdr x)))) (4valuedp (std::prod-car (std::prod-cdr (std::prod-cdr x)))) (size (std::prod-cdr (std::prod-cdr (std::prod-cdr x))))) (and (vl-coretypename-p coretypename) (symbolp keyword) (booleanp default-signedp) (booleanp takes-signingp) (booleanp takes-dimensionsp) (booleanp 4valuedp) (maybe-posp size))))))