Recognizer for character-list-result structures.
(character-list-resultp x) → *
Function:
(defun character-list-resultp (x) (declare (xargs :guard t)) (let ((__function__ 'character-list-resultp)) (declare (ignorable __function__)) (cond ((character-listp x) (b* ((get x)) (character-listp get))) (t (b* ((get x)) (fty::reserrp get))))))