Recognizer for well-formed sparseints
(sparseint-p x) → *
Function: sparseint-p
(defun sparseint-p (x) (declare (xargs :guard t)) (let ((__function__ 'sparseint-p)) (declare (ignorable __function__)) (and (sparseint$-p x) (sparseint$-height-correctp x))))
