sig
type t
val create : int -> Bitvector.t
val create_set : int -> Bitvector.t
val capacity : Bitvector.t -> int
val resize : int -> Bitvector.t -> Bitvector.t
val mem : Bitvector.t -> int -> bool
val set : Bitvector.t -> int -> unit
val clear : Bitvector.t -> int -> unit
val once : Bitvector.t -> int -> bool
val set_range : Bitvector.t -> int -> int -> unit
val is_empty : Bitvector.t -> bool
val equal : Bitvector.t -> Bitvector.t -> bool
val compare : Bitvector.t -> Bitvector.t -> int
val hash : Bitvector.t -> int
val bnot : int -> Bitvector.t -> Bitvector.t
val band : int -> Bitvector.t -> Bitvector.t -> Bitvector.t
val bor : int -> Bitvector.t -> Bitvector.t -> Bitvector.t
val bxor : int -> Bitvector.t -> Bitvector.t -> Bitvector.t
val beq : int -> Bitvector.t -> Bitvector.t -> Bitvector.t
val bitwise_op2 :
int -> (int -> int -> int) -> Bitvector.t -> Bitvector.t -> Bitvector.t
val bitwise_op3 :
int ->
(int -> int -> int -> int) ->
Bitvector.t -> Bitvector.t -> Bitvector.t -> Bitvector.t
val bitwise_op4 :
int ->
(int -> int -> int -> int -> int) ->
Bitvector.t -> Bitvector.t -> Bitvector.t -> Bitvector.t -> Bitvector.t
val concat : Bitvector.t -> int -> Bitvector.t -> int -> Bitvector.t
val iter_true : (int -> unit) -> Bitvector.t -> unit
val fold_true : ('a -> int -> 'a) -> 'a -> Bitvector.t -> 'a
val find_next_true : Bitvector.t -> int -> int
val pretty : Format.formatter -> Bitvector.t -> unit
val pp_bits : Format.formatter -> int -> unit
end