(character character &optional readtable (or readtable null)) (eql t)
())
-(defknown set-macro-character (character callable &optional t readtable)
+(defknown set-macro-character (character callable &optional t (or readtable null))
(eql t)
(unsafe))
(defknown get-macro-character (character &optional (or readtable null))
(defknown make-dispatch-macro-character (character &optional t readtable)
(eql t) ())
(defknown set-dispatch-macro-character
- (character character callable &optional readtable) function
+ (character character callable &optional (or readtable null)) (eql t)
(unsafe))
(defknown get-dispatch-macro-character
(character character &optional (or readtable null)) (or callable null)
function
(flushable foldable))
+(defknown %adjoin (t list) list (explicit-check foldable flushable))
+(defknown %adjoin-key (t list function) list (explicit-check foldable flushable call))
+(defknown %assoc (t list) list (explicit-check foldable flushable))
+(defknown %assoc-key (t list function) list (explicit-check foldable flushable call))
+(defknown %member (t list) list (explicit-check foldable flushable))
+(defknown %member-key (t list function) list (explicit-check foldable flushable call))
+(defknown %rassoc (t list) list (explicit-check foldable flushable))
+(defknown %rassoc-key (t list function) list (explicit-check foldable flushable call))
+
(defknown %check-vector-sequence-bounds (vector index sequence-end)
index
(unwind))