Module Container.Make

Parameters

• T : sig ... end

Signature

type 'a table

type 'b container

type ('a, 'b) elt = ('a, 'b) T.elt

val create : unit -> 'b container

val create_table : unit -> 'a table

val address : 'b container -> 'b tag

val eq : 'a container -> 'b container -> ('a, 'b) eq

val add : 'a table -> 'b container -> ('a, 'b) elt -> unit

val find : 'a table -> 'b container -> ('a, 'b) elt

val clear : 'a table -> unit

type 'a iter = {

f : b. ('a, 'b) elt -> unit;

}

val iter : 'a iter -> 'a table -> unit

type ('a, 'c) fold = {

f : b. ('a, 'b) elt -> 'c -> 'c;

}

val fold : ('a, 'c) fold -> 'a table -> 'c -> 'c