Bitv

#

type t

#

val create : int -> bool -> t

#

val init : int -> (int -> bool) -> t

#

val set : t -> int -> bool -> unit

#

val get : t -> int -> bool

#

val length : t -> int

#

val max_length : int

#

val copy : t -> t

#

val append : t -> t -> t

#

val concat : t list -> t

#

val sub : t -> int -> int -> t

#

val fill : t -> int -> int -> bool -> unit

#

val blit : t -> int -> t -> int -> int -> unit

#

val iter : (bool -> unit) -> t -> unit

#

val map : (bool -> bool) -> t -> t

#

val iteri : (int -> bool -> unit) -> t -> unit

#

val mapi : (int -> bool -> bool) -> t -> t

#

val fold_left : ('a -> bool -> 'a) -> 'a -> t -> 'a

#

val fold_right : (bool -> 'a -> 'a) -> t -> 'a -> 'a

#

val foldi_left : ('a -> int -> bool -> 'a) -> 'a -> t -> 'a

#

val foldi_right : (int -> bool -> 'a -> 'a) -> t -> 'a -> 'a

#

val gray_iter : (t -> unit) -> int -> unit

#

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 of_string : string -> t

#

val print : Format.formatter -> t -> unit

#

val to_list : t -> int list

#

val of_list : int list -> t

#

val of_list_with_length : int list -> int -> t

#

val of_int_s : int -> t

#

val to_int_s : t -> int

#

val of_int_us : int -> t

#

val to_int_us : t -> int

#

val of_int32_s : Int32.t -> t

#

val to_int32_s : t -> Int32.t

#

val of_int32_us : Int32.t -> t

#

val to_int32_us : t -> Int32.t

#

val of_int64_s : Int64.t -> t

#

val to_int64_s : t -> Int64.t

#

val of_int64_us : Int64.t -> t

#

val to_int64_us : t -> Int64.t

#

val of_nativeint_s : Nativeint.t -> t

#

val to_nativeint_s : t -> Nativeint.t

#

val of_nativeint_us : Nativeint.t -> t

#

val to_nativeint_us : t -> Nativeint.t

#

val unsafe_set : t -> int -> bool -> unit

#

val unsafe_get : t -> int -> bool

module Bitv