bv-sized-1.0.7: README.md

# bv-sized

This library defines a bitvector datatype that is parameterized by the bit
width.