;;;; from the "Symbols" chapter:
(defknown get (symbol t &optional t) t (flushable))
-(defknown sb!impl::get2 (symbol t) t (flushable))
(defknown sb!impl::get3 (symbol t t) t (flushable))
(defknown remprop (symbol t) t)
(defknown symbol-plist (symbol) list (flushable))
()
:derive-type (creation-result-type-specifier-nth-arg 1))
+(defknown %concatenate-to-string (&rest sequence) simple-string
+ (explicit-check flushable))
+(defknown %concatenate-to-base-string (&rest sequence) simple-base-string
+ (explicit-check flushable))
+
(defknown (map %map) (type-specifier callable sequence &rest sequence)
consed-sequence
(call)
(defknown hash-table-p (t) boolean (movable foldable flushable))
(defknown gethash (t hash-table &optional t) (values t boolean)
(flushable)) ; not FOLDABLE, since hash table contents can change
-(defknown sb!impl::gethash2 (t hash-table) (values t boolean)
- (flushable)) ; not FOLDABLE, since hash table contents can change
(defknown sb!impl::gethash3 (t hash-table t) (values t boolean)
(flushable)) ; not FOLDABLE, since hash table contents can change
(defknown %puthash (t hash-table t) t ()