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