423 |
(deftype stream () `(or broadcast-stream concatenated-stream echo-stream |
(deftype stream () `(or broadcast-stream concatenated-stream echo-stream |
424 |
file-stream string-stream synonym-stream two-way-stream)) |
file-stream string-stream synonym-stream two-way-stream)) |
425 |
|
|
426 |
|
(deftype input-stream () `(and stream (satisfies input-stream-p))) |
427 |
|
(deftype output-stream () `(and stream (satisfies output-stream-p))) |
428 |
|
|
429 |
(deftype bignum () `(and integer (not fixnum))) |
(deftype bignum () `(and integer (not fixnum))) |
430 |
(deftype non-negative-bignum () `(and non-negative-byte (not non-negative-fixnum))) |
(deftype non-negative-bignum () `(and non-negative-byte (not non-negative-fixnum))) |
431 |
(deftype negative-bignum () `(and negative-byte (not negative-fixnum))) |
(deftype negative-bignum () `(and negative-byte (not negative-fixnum))) |