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 letter/digit/uscore/dollar
(b* ((code (char-code x)))
(or (and (<= (char-code #\A) code)
(<= code (char-code #\Z)))
(and (<= (char-code #\a) code)
(<= code (char-code #\z)))
(and (<= (char-code #\0) code)
(<= code (char-code #\9)))
(eql x #\_)
(eql x #\$)))
:parents (character-kinds)
:short "Recognize
ASCII letters, decimal digits, underscores, and dollar signs.")