Module Coll.BoundedArrayMap

type dom = int
type 'rng init_t = int
type 'rng t
val mk : 'rng init_t -> 'rng t
val map : 'rng t -> dom -> 'rng
val dom : 'rng t -> dom list
val rng : 'rng t -> 'rng list
val in_dom : 'rng t -> dom -> bool
val in_rng : 'rng t -> 'rng -> bool
val inv : 'rng t -> 'rng -> dom list
val add : 'rng t -> (dom * 'rng) -> unit
val rmv : 'rng t -> dom -> unit
val remap : 'rng t -> dom -> 'rng -> unit
val app : (dom -> 'rng -> unit) -> 'rng t -> unit
val fold : ('a -> (dom * 'rng) -> 'a) -> 'a -> 'rng t -> 'a
val try_find : ((dom * 'rng) -> 'c) -> 'rng t -> 'c
val toList : 'rng t -> (dom * 'rng) list
val for_all : (dom -> 'rng -> bool) -> 'rng t -> bool
val exists : (dom -> 'rng -> bool) -> 'rng t -> bool
val size : 'rng t -> int
val empty : 'rng t -> bool
val clear : 'rng t -> unit
val min : 'b t -> dom
val max : 'b t -> dom