Recognizer for tag-env-result structures.
(tag-env-resultp acl2::x) → *
Function:
(defun tag-env-resultp (acl2::x) (declare (xargs :guard t)) (let ((__function__ 'tag-env-resultp)) (declare (ignorable __function__)) (cond ((tag-envp acl2::x) (b* ((get acl2::x)) (tag-envp get))) (t (b* ((get acl2::x)) (reserrp get))))))