Module Coll.FullFOMHM

Parameters

module T : sig ... end

Signature

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