		Search-engine friendly clone of the ACL2 documentation.

Qualified-ident

Qualified-ident-externalp

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

Definitions and Theorems

Function: qualified-ident-externalp

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