sig
  type t
  val create : int -> Bitvector.t
  val mem : Bitvector.t -> int -> bool
  val set : Bitvector.t -> int -> unit
  val clear : Bitvector.t -> int -> unit
  val set_range : Bitvector.t -> int -> int -> unit
  val is_empty : Bitvector.t -> bool
  val pretty : Format.formatter -> Bitvector.t -> unit
  val pp_bits : Format.formatter -> int -> unit
end