		Search-engine friendly clone of the ACL2 documentation.

Any-present-in

Is any element of xs present in ys?

Signature
(any-present-in xs ys) → *
Arguments: xs — Guard (true-listp xs).; ys — Guard (true-listp ys).

Definitions and Theorems

Function: any-present-in

(defun any-present-in (xs ys)
  (declare (xargs :guard (and (true-listp xs) (true-listp ys))))
  (let ((__function__ 'any-present-in))
    (declare (ignorable __function__))
    (if (endp xs)
        nil
      (if (member-equal (car xs) ys)
          t
        (any-present-in (cdr xs) ys)))))