7 Strings
Link to this section with
@secref["Strings" #:doc '(lib "acl2s-scribblings/scribblings/acl2s.scrbl")]
Link to this section with
@secref["Strings" #:doc '(lib "acl2s-scribblings/scribblings/acl2s.scrbl")]
Produces
t if
v is a string,
nil
otherwise.
| > (stringp "The silver fox bounded through the forest.") |
t |
| > (stringp "watermelon") |
t |
| > (stringp 'watermelon) |
nil |