Recognizer for an object that is either a lhprobe or 4vec.
(lhprobe/4vec-p x) → *
Function:
(defun lhprobe/4vec-p (x) (declare (xargs :guard t)) (let ((__function__ 'lhprobe/4vec-p)) (declare (ignorable __function__)) (or (lhprobe-p x) (4vec-p x))))