A bitvector datatype that is parameterized by the vector width. - View it on GitHub