STRINGP
recognizer for strings
Major Section:
ACL2-BUILT-INS
(stringp x)
is true if and only if
x
is a string.
