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 : Stdlib.Format.formatter -> Bitvector.t -> unit
  val pp_bits : Stdlib.Format.formatter -> int -> unit
end