|
|
|---|
|
|
|
|---|
Recognize true lists of integers in ranges.
(integer-range-listp lower upper x) → std::bool
This lifts integer-range-p to lists.
The range goes from
Function:
(defun integer-range-listp (lower upper x) (declare (xargs :guard (and (integerp lower) (integerp upper)))) (let ((__function__ 'integer-range-listp)) (declare (ignorable __function__)) (if (consp x) (and (integer-range-p lower upper (car x)) (integer-range-listp lower upper (cdr x))) (null x))))