bv-sized (hackage): This module defines a width-parameterized bitvector type and various associated operations.
Keywords: bit-vectors|bsd3|library