Bytes

BitVecByteSize Description Get u64 of bitvector in bytes. This returns the actual memory used by the bit data.

BitVecFromBytes Description Create bitvector from byte array. Reads the specified number of bits from the byte array.

BitVecToBytes Description Export bitvector to byte array. Copies the internal bit representation to the provided byte array.