		Search-engine friendly clone of the ACL2 documentation.

Uniquep

No-adjacent-duplicates-p

Signature
(no-adjacent-duplicates-p x) → *

Definitions and Theorems

Function: no-adjacent-duplicates-p

(defun no-adjacent-duplicates-p (x)
  (declare (xargs :guard t))
  (let ((__function__ 'no-adjacent-duplicates-p))
    (declare (ignorable __function__))
    (cond ((atom x) t)
          ((atom (cdr x)) t)
          (t (and (not (equal (car x) (cadr x)))
                  (no-adjacent-duplicates-p (cdr x)))))))