Find the properties (vl-coredatatype-info structure) for a coretype.
(vl-coretypename->info x) → info
Function:
(defun vl-coretypename->info (x) (declare (xargs :guard (vl-coretypename-p x))) (let ((__function__ 'vl-coretypename->info)) (declare (ignorable __function__)) (vl-coredatatype-infolist-find-type (vl-coretypename-fix x) *vl-core-data-type-table*)))
Theorem:
(defthm vl-coredatatype-info-p-of-vl-coretypename->info (b* ((info (vl-coretypename->info x))) (vl-coredatatype-info-p info)) :rule-classes :rewrite)