# BitVec
BitVecs are like BitSets in other programming languages.

They provide an efficient way of modifying, reading and writing bits