Unquote a term that is a quoted constant.
(unquote-term term) → value
The result is the quoted value, which may have any type.
This has the same effect of unquote on terms, but it is a function instead of a macro and it has a guard.
(defun unquote-term (term) (declare (xargs :guard (and (pseudo-termp term) (quotep term)))) (let ((__function__ 'unquote-term)) (declare (ignorable __function__)) (unquote term)))