Module bits
monotree
A module for representing BitVec in terms of bytes slice.
BitVec
BitVec implementation based on bytes slice.