Module Coll.Map2ORDERED_FOFUNMAP

Parameters

Signature

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