Module Coll.FreezableMUTSET

Parameters

module F : FUNSET
module M : MUTMAP

Signature

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