Symbolp
Recognizer for symbols
(symbolp x) is true if and only if x is a symbol.
Subtopics
- Intern
- Create a new symbol in a given package
- Intern-in-package-of-symbol
- Create a symbol with a given name
- Symbol-fix
- (symbol-fix x) is a fixing function for symbolp; it is the
identity for symbols and coerces non-symbols to acl2::||, i.e., the empty
symbol in the ACL2 package.
- Intern$
- Create a new symbol in a given package
- Symbol-equiv
- (symbol-equiv x y) recognizes symbols that are identical under
symbol-fix.
