package bitv

  1. Overview
  2. Docs
A bit vector library

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (6)

Authors

  1. J
    Jean-Christophe Filliâtre

Maintainers

  1. J
    Jean-Christophe.Filliatre@cnrs.fr

Sources

2.1.tar.gz
md5=03cac56cec6a26321bad06e519cc3847
sha512=ae52e352b35486d7f990dbabcb3a0a78201cfb8f16c7273dbc520bb59f326c3aaedd64fd0ad84a99b686089329ad7f0a9a84e87ba766dafa3431883202ecc087

doc/src/bitv.string/bitv_string.ml.html

Source file bitv_string.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(**************************************************************************)
(*                                                                        *)
(*  Copyright (C) Jean-Christophe Filliatre                               *)
(*                                                                        *)
(*  This software is free software; you can redistribute it and/or        *)
(*  modify it under the terms of the GNU Library General Public           *)
(*  License version 2, with the special exception on linking              *)
(*  described in file LICENSE.                                            *)
(*                                                                        *)
(*  This software is distributed in the hope that it will be useful,      *)
(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.                  *)
(*                                                                        *)
(**************************************************************************)


include Bitv