		Search-engine friendly clone of the ACL2 documentation.

Qualified-ident

Qualified-ident-internalp

Signature
(qualified-ident-internalp ident) → *
Arguments: ident — Guard (qualified-identp ident).

Definitions and Theorems

Function: qualified-ident-internalp

(defun qualified-ident-internalp (ident)
 (declare (xargs :guard (qualified-identp ident)))
 (declare
  (xargs
   :type-prescription (booleanp (qualified-ident-internalp ident))))
 (let ((__function__ 'qualified-ident-internalp))
   (declare (ignorable __function__))
   (and (qualified-ident->filepath? ident)
        t)))