bv-sized

Description

a bitvector datatype that is parameterized by the vector width.

Description

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

README.md

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

Metadata

1.0.7

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

uefi

WASI

Windows

Show all