Wrapper to represent C conditional expressions.
(condexpr x) → *
See atc-conditional-expressions.
Function: condexpr
(defun condexpr (x) (declare (xargs :guard t)) (let ((__function__ 'condexpr)) (declare (ignorable __function__)) x))
