Module Bitv


module Bitv: sig  end


type t = {
   length : int;
   bits : int array;
}
val length : t -> int
Parameters:
v : t
exception Notequal
val equal : t -> t -> bool
Parameters:
a : t
b : t
val bpi : int
val max_length : int
val bit_j : int array
val bit_not_j : int array
val low_mask : int array
val keep_lowest_bits : int -> int -> int
Parameters:
a : int
j : int
val high_mask : int array
val keep_highest_bits : int -> int -> int
Parameters:
a : int
j : int
val create : int -> bool -> t
Parameters:
n : int
b : bool
val normalize : t -> unit
Parameters:
v : t
val copy : t -> t
Parameters:
v : t
val pos : int -> int * int
Parameters:
n : int
val unsafe_get : t -> int -> bool
Parameters:
v : t
n : int
val unsafe_set : t -> int -> bool -> unit
Parameters:
v : t
n : int
b : bool
val get : t -> int -> bool
Parameters:
v : t
n : int
val set : t -> int -> bool -> unit
Parameters:
v : t
n : int
b : bool
val init : int -> (int -> bool) -> t
Parameters:
n : int
f : int -> bool
val blit_bits : int -> int -> int -> int array -> int -> unit
Parameters:
a : int
i : int
m : int
v : int array
n : int
val blit_int : int -> int array -> int -> unit
Parameters:
a : int
v : int array
n : int
val unsafe_blit : int array -> int -> int array -> int -> int -> unit
Parameters:
v1 : int array
ofs1 : int
v2 : int array
ofs2 : int
len : int
val blit : t -> int -> t -> int -> int -> unit
Parameters:
v1 : t
ofs1 : int
v2 : t
ofs2 : int
len : int
val sub : t -> int -> int -> t
Parameters:
v : t
ofs : int
len : int
val append : t -> t -> t
Parameters:
v1 : t
v2 : t
val concat : t list -> t
Parameters:
vl : t list
val blit_zeros : int array -> int -> int -> unit
Parameters:
v : int array
ofs : int
len : int
val blit_ones : int array -> int -> int -> unit
Parameters:
v : int array
ofs : int
len : int
val fill : t -> int -> int -> bool -> unit
Parameters:
v : t
ofs : int
len : int
b : bool
val iter : (bool -> 'a) -> t -> unit
Parameters:
f : bool -> 'a
v : t
val map : (bool -> bool) -> t -> t
Parameters:
f : bool -> bool
v : t
val iteri : (int -> bool -> 'a) -> t -> unit
Parameters:
f : int -> bool -> 'a
v : t
val mapi : (int -> bool -> bool) -> t -> t
Parameters:
f : int -> bool -> bool
v : t
val fold_left : ('a -> bool -> 'a) -> 'a -> t -> 'a
Parameters:
f : 'a -> bool -> 'a
x : 'a
v : t
val fold_right : (bool -> 'a -> 'a) -> t -> 'a -> 'a
Parameters:
f : bool -> 'a -> 'a
v : t
x : 'a
val bw_and : t -> t -> t
Parameters:
v1 : t
v2 : t
val bw_or : t -> t -> t
Parameters:
v1 : t
v2 : t
val bw_xor : t -> t -> t
Parameters:
v1 : t
v2 : t
val bw_not : t -> t
Parameters:
v : t
val shiftl : t -> int -> t
Parameters:
v : t
d : int
val shiftr : t -> int -> t
Parameters:
v : t
d : int
val all_zeros : t -> bool
Parameters:
v : t
val all_ones : t -> bool
Parameters:
v : t
val to_string : t -> string
Parameters:
v : t
val from_string : string -> t
Parameters:
s : string