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/bitv.string/Bitv_string/index.html

Module Bitv_stringSource

  • deprecated

    Now identical to Bitv.

Sourcetype t
Sourceval create : int -> bool -> t
Sourceval init : int -> (int -> bool) -> t
Sourceval set : t -> int -> bool -> unit
Sourceval get : t -> int -> bool
Sourceval length : t -> int
Sourceval equal : t -> t -> bool
Sourceval max_length : int
  • deprecated

    Use exceed_max_length instead.

Sourceval exceeds_max_length : int -> bool
Sourceval copy : t -> t
Sourceval fill : t -> int -> int -> bool -> unit
Sourceval iter : (bool -> unit) -> t -> unit
Sourceval map : (bool -> bool) -> t -> t
Sourceval iteri : (int -> bool -> unit) -> t -> unit
Sourceval mapi : (int -> bool -> bool) -> t -> t
Sourceval fold_left : ('a -> bool -> 'a) -> 'a -> t -> 'a
Sourceval fold_right : (bool -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval foldi_left : ('a -> int -> bool -> 'a) -> 'a -> t -> 'a
Sourceval foldi_right : (int -> bool -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval pop : t -> int
Sourceval iteri_true : (int -> unit) -> t -> unit
Sourceval bw_and : t -> t -> t
Sourceval bw_or : t -> t -> t
Sourceval bw_xor : t -> t -> t
Sourceval bw_not : t -> t
Sourceval to_list : t -> int list
Sourceval of_list : int list -> t
Sourceval of_list_with_length : int list -> int -> t

Only if you know what you are doing...

Sourceval unsafe_set : t -> int -> bool -> unit
Sourceval unsafe_get : t -> int -> bool