Major Section: PROGRAMMING
(equal (symbol-package-name x) (if (symbolp x) (symbol-package-name x) ""))
(symbolp x)Note: If the ACL2 image is built on GCL, then
symbol-package-namediverges from the name of the symbol's package in raw Lisp, in the case that this package is the main Lisp package. For example,
(symbol-package-name 'car)evaluates to "COMMON-LISP" regardless of of the underlying Lisp implementation, even though the name of the main Lisp package in GCL is "LISP".