(defknown %bignum-ref (bignum-type bignum-index) bignum-element-type
(flushable))
#!+(or x86 x86-64)
-(defknown %bignum-ref-with-offset (bignum-type fixnum (signed-byte 24))
+(defknown %bignum-ref-with-offset (bignum-type bignum-index (signed-byte 24))
bignum-element-type (flushable always-translatable))
(defknown %bignum-set (bignum-type bignum-index bignum-element-type)
())
#!+(or x86 x86-64)
(defknown %bignum-set-with-offset
- (bignum-type fixnum (signed-byte 24) bignum-element-type)
+ (bignum-type bignum-index (signed-byte 24) bignum-element-type)
bignum-element-type (always-translatable))
(defknown %digit-0-or-plusp (bignum-element-type) boolean