Module Coll.FreezableMUTMAP

Parameters

module F : FUNMAP
module M : MUTMAP

Signature

type ('a, 'b) init_t = ('a, 'b option) M.init_t * ('a, 'b) F.init_t
type ('a, 'b) t
val mk : ('a, 'b) init_t -> ('a, 'b) t
val map : ('a, 'b) t -> 'a -> 'b
val dom : ('a, 'b) t -> 'a list
val rng : ('a, 'b) t -> 'b list
val in_dom : ('a, 'b) t -> 'a -> bool
val in_rng : ('a, 'b) t -> 'b -> bool
val inv : ('a, 'b) t -> 'b -> 'a list
val add : ('a, 'b) t -> ('a * 'b) -> unit
val rmv : ('a, 'b) t -> 'a -> unit
val remap : ('a, 'b) t -> 'a -> 'b -> unit
val app : ('a -> 'c -> unit) -> ('a, 'c) t -> unit
val fold : ('a -> ('b * 'c) -> 'a) -> 'a -> ('b, 'c) t -> 'a
val try_find : (('a * 'b) -> 'c) -> ('a, 'b) t -> 'c
val toList : ('a, 'b) t -> ('a * 'b) list
val ofList : ('a, 'b) init_t -> ('a * 'b) list -> ('a, 'b) t
val for_all : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
val exists : ('a -> 'b -> bool) -> ('a, 'b) t -> bool
val size : ('a, 'b) t -> int
val empty : ('a, 'b) t -> bool
val clear : ('a, 'b) t -> unit
type ('a, 'b) frozen_t
val freeze : ('a, 'b) t -> ('a, 'b) frozen_t
val unfreeze : ('a, 'b) t -> ('a, 'b) frozen_t -> unit