other
(in-package "STR")
other
(defconst *str-library-basic-defs* '(rest-n repeat repeat replicate prefixp listpos revappend-without-guard sublistp rev explode implode stringp-of-implode pos-fix character-list-fix charlisteqv charlisteqv-is-an-equivalence fast-concatenate cat append-chars-aux append-chars revappend-chars-aux revappend-chars prefix-strings join-aux join little-a little-z big-a big-z case-delta up-alpha-p down-alpha-p upcase-char downcase-char make-upcase-first-strtbl *upcase-first-strtbl* upcase-char-str make-downcase-first-strtbl *downcase-first-strtbl* downcase-char-str charlist-has-some-down-alpha-p upcase-charlist-aux upcase-charlist charlist-has-some-up-alpha-p downcase-charlist-aux downcase-charlist string-has-some-down-alpha-p upcase-string-aux upcase-string string-has-some-up-alpha-p downcase-string-aux downcase-string upcase-string-list-aux upcase-string-list downcase-string-list-aux downcase-string-list upcase-first-charlist upcase-first downcase-first-charlist downcase-first ichareqv ichareqv-is-an-equivalence icharlisteqv icharlisteqv-is-an-equivalence istreqv-aux istreqv istreqv-is-an-equivalence dec-digit-char-p nonzero-dec-digit-char-p dec-digit-char-value dec-digit-char-list*p dec-digit-chars-value1 dec-digit-chars-value skip-leading-digits take-leading-dec-digit-chars dec-digit-string-p-aux dec-digit-string-p basic-nat-to-dec-chars nat-to-dec-chars-aux nat-to-dec-chars revappend-nat-to-dec-chars-aux revappend-nat-to-dec-chars nat-to-dec-string nat-to-dec-string-list int-to-dec-string int-to-dec-string-list nat-to-dec-string-size-slow nat-to-dec-string-size-fast nat-to-dec-string-size parse-nat-from-charlist parse-nat-from-string strval bin-digit-char-p bin-digit-char-list*p bin-digit-char-value bin-digit-chars-value1 bin-digit-chars-value skip-leading-bit-digits take-leading-bin-digit-chars bin-digit-string-p-aux bin-digit-string-p basic-nat-to-bin-chars nat-to-bin-chars-aux nat-to-bin-chars revappend-nat-to-bin-chars-aux revappend-nat-to-bin-chars nat-to-bin-string nat-to-bin-string-list nat-to-bin-string-size parse-bits-from-charlist parse-bits-from-string strval2 hex-digit-char-p hex-digit-char-list*p hex-digit-char-value hex-digit-chars-value1 hex-digit-chars-value skip-leading-hex-digits take-leading-hex-digit-chars hex-digit-string-p-aux hex-digit-string-p hex-digit-to-char basic-nat-to-hex-chars nat-to-hex-chars-aux nat-to-hex-chars revappend-nat-to-hex-chars-aux revappend-nat-to-hex-chars nat-to-hex-string nat-to-hex-string-list nat-to-hex-string-size-aux nat-to-hex-string-size parse-hex-from-charlist parse-hex-from-string strval16 oct-digit-char-p nonzero-oct-digit-char-p oct-digit-char-value oct-digit-char-list*p oct-digit-chars-value1 oct-digit-chars-value skip-leading-octal-digits take-leading-oct-digit-chars oct-digit-string-p-aux oct-digit-string-p octal-digit-to-char basic-nat-to-oct-chars nat-to-oct-chars-aux nat-to-oct-chars revappend-nat-to-oct-chars-aux revappend-nat-to-oct-chars nat-to-oct-string nat-to-oct-string-list nat-to-oct-string-size-aux nat-to-oct-string-size parse-octal-from-charlist parse-octal-from-string strval8 firstn-chars-aux firstn-chars append-firstn-chars html-space html-newline html-less html-greater html-amp html-quote repeated-revappend distance-to-tab html-encode-next-col html-encode-push html-encode-chars-aux html-encode-string-aux html-encode-string ichar< icharlist< istr<-aux istr< iprefixp istrprefixp-impl istrprefixp istrpos-impl istrpos isubstrp collect-strs-with-isubstr collect-syms-with-isubstr mergesort-fixnum-threshold istr-list-p istr-merge istr-merge-tr istr-mergesort-fixnum istr-mergesort-integers istr-sort istrsort rpadchars rpadstr lpadchars lpadstr trim-aux trim-bag trim prefix-lines-aux prefix-lines charpos-aux go-to-line strline strlines parse-nat-from-charlist parse-nat-from-string charlistnat< strnat<-aux strnat< strprefixp-impl strprefixp strpos-fast strpos strrpos-fast strrpos split-list-1 split-list* character-list-listp coerce-list-to-strings strsplit strsubst-aux strsubst strsubst-list strtok-aux strtok substrp strsuffixp symbol-list-names intern-list-fn intern-list url-encode-char make-url-encode-array *url-encode-array* fast-url-encode-char url-encode-chars-aux url-encode-chars url-encode-string-aux url-encode-string strrange-equiv))