A bit vector is a vector the element type of which is bit.
The type bit-vector is a subtype of vector, for bit-vector means (vector bit)
.
Abbreviating.
bit-vector [size]
This denotes the same type as the type (array bit (size))
; that is, the set of bit vectors of size size.
{\secref\SharpsignStar}, {\secref\PrintingBitVectors}, {\secref\RequiredSpecializedArrays}
\issue{ARRAY-DIMENSION-IMPLICATIONS:ALL-FIXNUM}