Wrapper to indicate a C local variable declaration in a let.
(declar x) → *
See atc-let-designations.
Function: declar
(defun declar (x) (declare (xargs :guard t)) (let ((__function__ 'declar)) (declare (ignorable __function__)) x))
