Vocabulary
bit-vectors

Inputs
capacitya positive integer specifying initial capacity


Outputs
vectora bit-vector


Word description
Creates a new bit vector that can hold n bits before resizing.

Definition