sig
  type bitvector
  val empty : Bitvector.bitvector
  val is_empty : Bitvector.bitvector -> bool
  val nbr_set_bits : Bitvector.bitvector -> int
  val get_bit : Bitvector.bitvector -> int -> bool
  val set_bit : Bitvector.bitvector -> int -> Bitvector.bitvector
  val clear_bit : Bitvector.bitvector -> int -> Bitvector.bitvector
  val of_list : int list -> Bitvector.bitvector
  val to_list : Bitvector.bitvector -> int list
  val to_rev_list : Bitvector.bitvector -> int list
  val str : Bitvector.bitvector -> string
  val ( &&& ) :
    Bitvector.bitvector -> Bitvector.bitvector -> Bitvector.bitvector
  val ( ||| ) :
    Bitvector.bitvector -> Bitvector.bitvector -> Bitvector.bitvector
end