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