		Search-engine friendly clone of the ACL2 documentation.

Skip-detection

Sd-keylist-linear-increments-p

Signature
(sd-keylist-linear-increments-p x) → *
Arguments: x — Guard (sd-keylist-p x).

Definitions and Theorems

Function: sd-keylist-linear-increments-p

(defun sd-keylist-linear-increments-p (x)
  (declare (xargs :guard (sd-keylist-p x)))
  (let ((__function__ 'sd-keylist-linear-increments-p))
    (declare (ignorable __function__))
    (let ((indicies (sd-keylist->indicies x)))
      (and (nat-listp indicies)
           (sd-natlist-linear-increments-p indicies)))))