Wrapper to represent a C pointer type.
(star x) → *
The idea is that (star (P ...)) represents, for the purpose of generating a C type, the pointer type T * if the recognizer P represents type T.
Function: star
(defun star (x) (declare (xargs :guard t)) (let ((__function__ 'star)) (declare (ignorable __function__)) x))