Installation is available through opam by typing
opam install bitv
The bitv
package contains two libraries, bitv
and bitv.string
. Their
documentation is available online here.
Please send bug reports to Jean-Christophe.Filliatre@lri.fr, or open an issue.