Lines Matching defs:LEN
87 (DEFUN LEN (X) (IF (CONSP X) (BINARY-+ '1 (LEN (CDR X))) '0))
89 (DEFUN LENGTH (X) (IF (STRINGP X) (LEN (COERCE X 'LIST)) (LEN X)))
111 (IF (< (LEN (CAR CLAUSES)) '3)
901 (IF (NOT (< I '0)) (< I (LEN X)) 'NIL)
1706 (LEN LST)
2432 (< I (LEN CHARS))
3865 LEN MFC-CLAUSE CPU-CORE-COUNT
4243 LEN MFC-CLAUSE CPU-CORE-COUNT
4619 LEN MFC-CLAUSE CPU-CORE-COUNT
5002 LEN MFC-CLAUSE CPU-CORE-COUNT
5304 LEN MFC-CLAUSE CPU-CORE-COUNT
6816 (DEFTHM LEN-UPDATE-NTH
6817 (EQUAL (LEN (UPDATE-NTH N VAL X))
6818 (MAX (BINARY-+ '1 (NFIX N)) (LEN X))))
7216 (LEN DIRECTORYP STR OS)
7218 (< '0 LEN)
7248 (IF (EQL '1 LEN)
7249 (EQL '1 LEN)
7265 (EQL (CHAR STR (BINARY-+ '-1 LEN)) '#\/)