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