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 : ('-> int -> '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