Module Coll.RawMutFOFUNMAP

Parameters

module F : FOFUNMAP

Signature

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