bv-sized-1.0.6: a bitvector datatype that is parameterized by the vector width

# bv-sized-1.0.6: a bitvector datatype that is parameterized by the vector width

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

Modules

bv-sized-1.0.6

- Data
  Submodules
  - BitVector
    Submodules
    - Data.BitVector.Sized
      Submodules
      - Data.BitVector.Sized.Overflow
      - Data.BitVector.Sized.Signed
      - Data.BitVector.Sized.Unsigned