other
(in-package "STR")
other
(include-book "std/strings/charset" :dir :system)
other
(include-book "xdoc/constructors" :dir :system)
other
(local (include-book "std/basic/code-char-char-code-with-force" :dir :system))
other
(defcharset ascii (< (char-code x) 128) :parents (character-kinds) :short "Recognize ASCII characters.")