a bitvector datatype that is parameterized by the vector width.

This module defines a width-parameterized bitvector type and various associated operations.

bv-sized - A Haskell library for manipulating width-parameterized bitvectors

copyright (c) Ben Selfridge, Galois Inc. 2018

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

Other information

• contact: [email protected].