bit-vector, vector, array, sequence, t
A bit vector is a vector the element type of which is bit.
The type bit-vector is a subtype of type 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.