bit-vector | System Class |
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.
Section 2.4.8.4 (Sharpsign Asterisk), Section 22.1.3.6 (Printing Bit Vectors), Section 15.1.2.2 (Required Kinds of Specialized Arrays)