Lines Matching defs:KEYWORD
1048 '"KEYWORD")
1292 LISTEN ISQRT LISTP KEYWORD LOAD KEYWORDP
1506 KEYWORD-PACKAGE
1510 '"KEYWORD")
1514 '"KEYWORD")))
2836 (DEFUN KEYWORD-VALUE-LISTP (L)
2841 (KEYWORD-VALUE-LISTP (CDR (CDR L)))
2845 (DEFTHM KEYWORD-VALUE-LISTP-FORWARD-TO-TRUE-LISTP
2846 (IMPLIES (KEYWORD-VALUE-LISTP X)
2849 (DEFUN ASSOC-KEYWORD (KEY L)
2853 L (ASSOC-KEYWORD KEY (CDR (CDR L))))))
2855 (DEFTHM KEYWORD-VALUE-LISTP-ASSOC-KEYWORD
2856 (IMPLIES (KEYWORD-VALUE-LISTP L)
2857 (KEYWORD-VALUE-LISTP (ASSOC-KEYWORD KEY L))))
2872 (HEADER-KEYWORD-LIST L)
2874 (KEYWORD-VALUE-LISTP HEADER-KEYWORD-LIST)
2893 (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2894 HEADER-KEYWORD-LIST)))
2895 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2896 HEADER-KEYWORD-LIST)))
2913 (KEYWORD-VALUE-LISTP (CDR (ASSOC-EQ ':HEADER L)))
2915 (TRUE-LISTP (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2919 (LENGTH (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2924 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2927 (INTEGERP (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2931 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2934 (< (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2936 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2940 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2944 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2962 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2964 (IF (< (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
2966 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
2969 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3033 (HEADER-KEYWORD-LIST L)
3035 (KEYWORD-VALUE-LISTP HEADER-KEYWORD-LIST)
3064 (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3065 HEADER-KEYWORD-LIST)))
3066 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3067 HEADER-KEYWORD-LIST)))
3084 (KEYWORD-VALUE-LISTP (CDR (ASSOC-EQ ':HEADER L)))
3086 (TRUE-LISTP (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3090 (LENGTH (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3095 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3100 (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3103 (INTEGERP (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3107 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3113 (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3118 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3122 (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3124 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3129 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3133 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3137 (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3158 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3162 (CAR (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3167 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3169 (CAR (CDR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3171 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3174 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3183 (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3187 (CAR (CDR (ASSOC-KEYWORD ':MAXIMUM-LENGTH
3191 (CAR (CDR (ASSOC-KEYWORD ':DEFAULT
3235 (ASSOC-KEYWORD ':ORDER (CDR HEADER))))
3275 (CAR (CAR (CDR (ASSOC-KEYWORD ':DIMENSIONS
3932 CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
4067 (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
4310 CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
4445 (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
4686 CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
4821 (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
5069 CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
5203 (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
5371 CLEAR-PSTK ADD-CUSTOM-KEYWORD-HINT
5505 (SHOW-CUSTOM-KEYWORD-HINT-EXPANSION)
5551 (LD-KEYWORD-ALIASES)
8178 SPLICE-KEYWORD-ALIST
8179 (KEY NEW-SEGMENT KEYWORD-ALIST)
8180 (IF (ENDP KEYWORD-ALIST)
8182 (IF (EQ KEY (CAR KEYWORD-ALIST))
8183 (BINARY-APPEND NEW-SEGMENT (CDR (CDR KEYWORD-ALIST)))
8184 (CONS (CAR KEYWORD-ALIST)
8185 (CONS (CAR (CDR KEYWORD-ALIST))
8186 (SPLICE-KEYWORD-ALIST KEY NEW-SEGMENT
8187 (CDR (CDR KEYWORD-ALIST))))))))