module Bitv: sig end
type t = {
|
length : int ; |
|
bits : int array ; |
}
val length : t -> int
exception Notequal
val equal : t -> t -> bool
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
val high_mask : int array
val keep_highest_bits : int -> int -> int
val create : int -> bool -> t
val normalize : t -> unit
val copy : t -> t
val pos : int -> int * int
val unsafe_get : t -> int -> bool
val unsafe_set : t -> int -> bool -> unit
val get : t -> int -> bool
val set : t -> int -> bool -> unit
val init : int -> (int -> bool) -> t
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
val concat : t list -> t
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
val map : (bool -> bool) -> t -> 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
val bw_or : t -> t -> t
val bw_xor : t -> t -> t
val bw_not : t -> t
val shiftl : t -> int -> t
val shiftr : t -> int -> t
val all_zeros : t -> bool
val all_ones : t -> bool
val to_string : t -> string
val from_string : string -> t