Parameter Weak.1-W

type data
type t
val create : int -> t
val add : t -> data -> unit