type !'a t = 'a Weak.tAlias for Weak.t
module type S = sig ... endmodule type S = sig type data type t val create : int -> t val clear : t -> unit val merge : t -> data -> data val add : t -> data -> unit val remove : t -> data -> unit val find : t -> data -> data val find_opt : t -> data -> data option val find_all : t -> data -> data list val mem : t -> data -> bool val iter : (data -> unit) -> t -> unit val fold : (data -> 'a -> 'a) -> t -> 'a -> 'a val count : t -> int val stats : t -> (int * int * int * int * int * int) end
module Make = Weak.Makeval create : int -> 'a tAlias for Weak.create
val length : 'a t -> intAlias for Weak.length
val get_copy : 'a t -> int -> 'a optionAlias for Weak.get_copy
val check : 'a t -> int -> boolAlias for Weak.check