A bit vector is a vector the element type of which is bit.
bit-vector is a subtype of type
size—a non-negative fixnum, or the symbol *.
This denotes the same type as the type
(array bit (size
that is, the set of bit vectors of size size.
Section 18.104.22.168 (Sharpsign Asterisk), Section 22.214.171.124 (Printing Bit Vectors), Section 126.96.36.199 (Required Kinds of Specialized Arrays)