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.