sig
  type 'a t = {
    mutable size : int;
    mutable data : 'Flx_cil_inthash.bucketlist array;
  }
  and 'a bucketlist =
      Empty
    | Cons of int * 'a * 'Flx_cil_inthash.bucketlist
  val create : int -> 'Flx_cil_inthash.t
  val clear : 'Flx_cil_inthash.t -> unit
  val copy : 'Flx_cil_inthash.t -> 'Flx_cil_inthash.t
  val resize : 'Flx_cil_inthash.t -> unit
  val add : 'Flx_cil_inthash.t -> int -> '-> unit
  val remove : 'Flx_cil_inthash.t -> int -> unit
  val find_rec : int -> 'Flx_cil_inthash.bucketlist -> 'a
  val find : 'Flx_cil_inthash.t -> int -> 'a
  val find_all : 'Flx_cil_inthash.t -> int -> 'a list
  val replace : 'Flx_cil_inthash.t -> int -> '-> unit
  val mem : 'Flx_cil_inthash.t -> int -> bool
  val iter : (int -> '-> 'b) -> 'Flx_cil_inthash.t -> unit
  val fold : (int -> '-> '-> 'b) -> 'Flx_cil_inthash.t -> '-> 'b
  val memoize : unit Flx_cil_inthash.t -> int -> (int -> unit) -> unit
end