Filtering...

printable-chars

books/std/strings/printable-chars
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 printable
  (b* ((code (char-code x)))
    (and (<= 32 code) (<= code 126)))
  :parents (character-kinds)
  :short "Recognize printable ASCII characters,
          i.e. spaces and visible ASCII characters.")