sig
type 'a t
val empty : 'a IntMap.t
val is_empty : 'a IntMap.t -> bool
val size : 'a IntMap.t -> int
val has_key : 'a IntMap.t -> int -> bool
val max_key : 'a IntMap.t -> int
val get : 'a IntMap.t -> int -> 'a
val get_default : 'a IntMap.t -> int -> 'a -> 'a
val add : 'a IntMap.t -> int -> 'a -> 'a IntMap.t
val remove : 'a IntMap.t -> int -> 'a IntMap.t
val update : ('a -> 'a) -> 'a IntMap.t -> int -> 'a IntMap.t
val fold : ('a -> int -> 'b -> 'a) -> 'b IntMap.t -> 'a -> 'a
val iter : (int -> 'a -> unit) -> 'a IntMap.t -> unit
val map : (int -> 'a -> 'b) -> 'a IntMap.t -> 'b IntMap.t
val find : (int -> 'a -> bool) -> 'a IntMap.t -> int * 'a
val for_all : (int -> 'a -> bool) -> 'a IntMap.t -> bool
val output :
(Pervasives.out_channel -> 'a -> unit) ->
Pervasives.out_channel -> 'a IntMap.t -> unit
val print : (Pervasives.out_channel -> 'a -> unit) -> 'a IntMap.t -> unit
val dump : (Pervasives.out_channel -> 'a -> unit) -> 'a IntMap.t -> unit
end