Lines Matching defs:CHAR
168 (CONS (CODE-CHAR '0)
350 (DEFUN CHAR (S N) (NTH N (COERCE S 'LIST)))
605 (DEFUN STANDARD-CHAR-P (X)
620 (DEFUN STANDARD-CHAR-LISTP (L)
623 (IF (STANDARD-CHAR-P (CAR L))
624 (STANDARD-CHAR-LISTP (CDR L))
640 (DEFTHM STANDARD-CHAR-LISTP-FORWARD-TO-CHARACTER-LISTP
641 (IMPLIES (STANDARD-CHAR-LISTP X)
663 (DEFUN ALPHA-CHAR-P (X)
690 (DEFUN CHAR-UPCASE (X)
693 (IF (CHARACTERP X) X (CODE-CHAR '0))))
723 (DEFUN CHAR-DOWNCASE (X)
726 (IF (CHARACTERP X) X (CODE-CHAR '0))))
756 (DEFTHM LOWER-CASE-P-CHAR-DOWNCASE
760 (LOWER-CASE-P (CHAR-DOWNCASE X))))
762 (DEFTHM UPPER-CASE-P-CHAR-UPCASE
766 (UPPER-CASE-P (CHAR-UPCASE X))))
768 (DEFTHM LOWER-CASE-P-FORWARD-TO-ALPHA-CHAR-P
772 (ALPHA-CHAR-P X)))
774 (DEFTHM UPPER-CASE-P-FORWARD-TO-ALPHA-CHAR-P
778 (ALPHA-CHAR-P X)))
780 (DEFTHM ALPHA-CHAR-P-FORWARD-TO-CHARACTERP
781 (IMPLIES (ALPHA-CHAR-P X)
784 (DEFTHM CHARACTERP-CHAR-DOWNCASE (CHARACTERP (CHAR-DOWNCASE X)))
786 (DEFTHM CHARACTERP-CHAR-UPCASE (CHARACTERP (CHAR-UPCASE X)))
791 (CONS (CHAR-DOWNCASE (CAR L))
804 (CONS (CHAR-UPCASE (CAR L))
812 (DEFUN OUR-DIGIT-CHAR-P (CH RADIX)
882 (DEFUN CHAR-EQUAL (X Y) (EQL (CHAR-DOWNCASE X) (CHAR-DOWNCASE Y)))
918 (IF (CHAR-EQUAL (CHAR STR1 I) (CHAR STR2 I))
938 (IF (STANDARD-CHAR-LISTP (COERCE (CAR (CAR X)) 'LIST))
1158 ATOM BOUNDP ADJUST-ARRAY BASE-CHAR
1162 ALPHA-CHAR-P BIT BUILT-IN-CLASS
1194 CDDDDR CLRHASH COUNT CDDDR CODE-CHAR
1202 DECLARE CHAR COMPILER-MACRO DECODE-FLOAT
1203 CHAR-CODE COMPILER-MACRO-FUNCTION
1205 CHAR-CODE-LIMIT COMPLEMENT DEFCLASS
1206 CHAR-DOWNCASE COMPLEX DEFCONSTANT
1207 CHAR-EQUAL COMPLEXP DEFGENERIC
1208 CHAR-GREATERP COMPUTE-APPLICABLE-METHODS
1210 CHAR-INT COMPUTE-RESTARTS
1211 DEFINE-CONDITION CHAR-LESSP
1213 CHAR-NAME CONCATENATED-STREAM
1214 DEFINE-MODIFY-MACRO CHAR-NOT-EQUAL
1216 DEFINE-SETF-EXPANDER CHAR-NOT-GREATERP
1217 COND DEFINE-SYMBOL-MACRO CHAR-NOT-LESSP
1218 CONDITION DEFMACRO CHAR-UPCASE CONJUGATE
1219 DEFMETHOD CHAR/= CONS DEFPACKAGE
1220 CHAR< CONSP DEFPARAMETER CHAR<=
1221 CONSTANTLY DEFSETF CHAR= CONSTANTP
1222 DEFSTRUCT CHAR> CONTINUE DEFTYPE
1223 CHAR>= CONTROL-ERROR DEFUN CHARACTER
1233 ERROR DIGIT-CHAR ETYPECASE
1234 DIGIT-CHAR-P EVAL DIRECTORY EVAL-WHEN
1237 DO* EXPT DO-ALL-SYMBOLS EXTENDED-CHAR
1262 FLOAT-RADIX GO FLOAT-SIGN GRAPHIC-CHAR-P
1358 MULTIPLE-VALUES-LIMIT MAPCAN NAME-CHAR
1379 PEEK-CHAR NTH PHASE NTH-VALUE PI NTHCDR
1388 PACKAGE PPRINT-POP PPRINT-TAB READ-CHAR
1389 PPRINT-TABULAR READ-CHAR-NO-HANG
1430 SET-SYNTAX-FROM-CHAR SLOT-MAKUNBOUND
1440 STANDARD-CHAR SIMPLE-BASE-STRING
1441 STANDARD-CHAR-P STANDARD-CLASS
1483 UNLESS WITH-OUTPUT-TO-STRING UNREAD-CHAR
1491 WRITE-CHAR UPGRADED-ARRAY-ELEMENT-TYPE
1550 (DEFTHM STANDARD-CHAR-LISTP-APPEND
1552 (EQUAL (STANDARD-CHAR-LISTP (BINARY-APPEND X Y))
1553 (IF (STANDARD-CHAR-LISTP X)
1554 (STANDARD-CHAR-LISTP Y)
2429 (DEFTHM STANDARD-CHAR-P-NTH
2430 (IMPLIES (IF (STANDARD-CHAR-LISTP CHARS)
2435 (STANDARD-CHAR-P (NTH I CHARS))))
2474 (DEFAXIOM CHAR-CODE-LINEAR (< (CHAR-CODE X) '256))
2476 (DEFAXIOM CODE-CHAR-TYPE (CHARACTERP (CODE-CHAR N)))
2478 (DEFAXIOM CODE-CHAR-CHAR-CODE-IS-IDENTITY
2480 (EQUAL (CODE-CHAR (CHAR-CODE C)) C)))
2482 (DEFAXIOM CHAR-CODE-CODE-CHAR-IS-IDENTITY
2488 (EQUAL (CHAR-CODE (CODE-CHAR N)) N)))
2490 (DEFUN CHAR< (X Y) (< (CHAR-CODE X) (CHAR-CODE Y)))
2492 (DEFUN CHAR> (X Y) (< (CHAR-CODE Y) (CHAR-CODE X)))
2494 (DEFUN CHAR<= (X Y) (NOT (< (CHAR-CODE Y) (CHAR-CODE X))))
2496 (DEFUN CHAR>= (X Y) (NOT (< (CHAR-CODE X) (CHAR-CODE Y))))
2507 (IF (CHAR< (CAR L1) (CAR L2))
2729 (DEFTHM EQUAL-CHAR-CODE
2731 (IMPLIES (EQUAL (CHAR-CODE X) (CHAR-CODE Y))
3887 READ-CHAR$ AREF-32-BIT-INTEGER-STACK
3890 PEEK-CHAR$ SHRINK-32-BIT-INTEGER-STACK
3907 KEYWORDP EQ EQL CHAR SUBST
3909 LENGTH REVERSE ZIP STANDARD-CHAR-P
3910 ALPHA-CHAR-P UPPER-CASE-P LOWER-CASE-P
3911 CHAR< CHAR> CHAR<= CHAR>= CHAR-EQUAL
3912 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
3971 SEVENTH EIGHTH NINTH TENTH DIGIT-CHAR-P
4265 READ-CHAR$ AREF-32-BIT-INTEGER-STACK
4268 PEEK-CHAR$ SHRINK-32-BIT-INTEGER-STACK
4285 KEYWORDP EQ EQL CHAR SUBST
4287 LENGTH REVERSE ZIP STANDARD-CHAR-P
4288 ALPHA-CHAR-P UPPER-CASE-P LOWER-CASE-P
4289 CHAR< CHAR> CHAR<= CHAR>= CHAR-EQUAL
4290 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
4349 SEVENTH EIGHTH NINTH TENTH DIGIT-CHAR-P
4641 READ-CHAR$ AREF-32-BIT-INTEGER-STACK
4644 PEEK-CHAR$ SHRINK-32-BIT-INTEGER-STACK
4661 KEYWORDP EQ EQL CHAR SUBST
4663 LENGTH REVERSE ZIP STANDARD-CHAR-P
4664 ALPHA-CHAR-P UPPER-CASE-P LOWER-CASE-P
4665 CHAR< CHAR> CHAR<= CHAR>= CHAR-EQUAL
4666 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
4725 SEVENTH EIGHTH NINTH TENTH DIGIT-CHAR-P
5024 READ-CHAR$ AREF-32-BIT-INTEGER-STACK
5027 PEEK-CHAR$ SHRINK-32-BIT-INTEGER-STACK
5044 KEYWORDP EQ EQL CHAR SUBST
5046 LENGTH REVERSE ZIP STANDARD-CHAR-P
5047 ALPHA-CHAR-P UPPER-CASE-P LOWER-CASE-P
5048 CHAR< CHAR> CHAR<= CHAR>= CHAR-EQUAL
5049 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
5108 SEVENTH EIGHTH NINTH TENTH DIGIT-CHAR-P
5326 READ-CHAR$ AREF-32-BIT-INTEGER-STACK
5329 PEEK-CHAR$ SHRINK-32-BIT-INTEGER-STACK
5346 KEYWORDP EQ EQL CHAR SUBST
5348 LENGTH REVERSE ZIP STANDARD-CHAR-P
5349 ALPHA-CHAR-P UPPER-CASE-P LOWER-CASE-P
5350 CHAR< CHAR> CHAR<= CHAR>= CHAR-EQUAL
5351 CHAR-UPCASE CHAR-DOWNCASE AND-LIST
5410 SEVENTH EIGHTH NINTH TENTH DIGIT-CHAR-P
5956 DIGIT-TO-CHAR (N)
6002 (CONS (DIGIT-TO-CHAR (MOD N PRINT-BASE))
6469 READ-CHAR$ (CHANNEL STATE-STATE)
6482 (DEFUN PEEK-CHAR$ (CHANNEL STATE-STATE)
6533 (L SLASH-CHAR CHANNEL STATE)
6536 ((LAMBDA (STATE SLASH-CHAR CHANNEL L)
6537 ((LAMBDA (STATE CHANNEL SLASH-CHAR L)
6539 SLASH-CHAR CHANNEL STATE))
6541 CHANNEL SLASH-CHAR L))
6544 (EQUAL (CAR L) SLASH-CHAR))
6547 SLASH-CHAR CHANNEL L)))
6550 (S SLASH-CHAR CHANNEL STATE)
6552 SLASH-CHAR CHANNEL STATE))
7242 (EQL (CHAR STR '0) '#\/)
7245 (EQL (CHAR STR '0) '#\~)
7250 (EQL (CHAR STR '1) '#\/))
7265 (EQL (CHAR STR (BINARY-+ '-1 LEN)) '#\/)
7591 (DEFAXIOM COMPLETION-OF-CHAR-CODE
7592 (EQUAL (CHAR-CODE X)
7593 (IF (CHARACTERP X) (CHAR-CODE X) '0)))
7595 (DEFTHM DEFAULT-CHAR-CODE
7597 (EQUAL (CHAR-CODE X) '0)))
7599 (DEFAXIOM COMPLETION-OF-CODE-CHAR
7600 (EQUAL (CODE-CHAR X)
7604 (CODE-CHAR X)
7605 (CODE-CHAR '0))))
8002 (NOT (< (CHAR-CODE Y) (CHAR-CODE X)))
8195 (NOT (MEMBER-EQ TEST '(EQUAL CHAR-EQUAL)))
8203 (CONS (CONS '#\2 'CHAR-EQUAL)
8208 (IF (STANDARD-CHAR-LISTP (COERCE SEQ1 'LIST))
8209 (STANDARD-CHAR-LISTP (COERCE SEQ2 'LIST))
8211 (IF (STANDARD-CHAR-LISTP (COERCE SEQ1 'LIST))
8212 (STANDARD-CHAR-LISTP (COERCE SEQ2 'LIST))
8221 (IF (STANDARD-CHAR-LISTP (COERCE SEQ1 'LIST))
8225 (EQ TEST 'CHAR-EQUAL)
8232 (CONS (CONS '#\1 'CHAR-EQUAL) 'NIL)))
8327 (IF (EQ TEST 'CHAR-EQUAL)