		Search-engine friendly clone of the ACL2 documentation.

Structure.lisp

Svtv-dontcare-p

Signature
(svtv-dontcare-p x) → *

Definitions and Theorems

Function: svtv-dontcare-p

(defun svtv-dontcare-p (x)
  (declare (xargs :guard t))
  (let ((__function__ 'svtv-dontcare-p))
    (declare (ignorable __function__))
    (and (symbolp x)
         (consp (member-symbol-name (symbol-name x)
                                    '(_ - &))))))