module type S =sig..end
函子 Ephemeron.K1.Make 和 Ephemeron.K2.Make 的输出签名。这些哈希表在键上是弱的。如果绑定所有的键都存活，则保留绑定，但如果绑定的其中一个键已失效，则移除该绑定。
提供与普通哈希表相同的接口。但是，由于绑定是弱的，即使 mem h k 为真，后续的 find h k 可能会引发 Not_found，因为垃圾回收器可能在这两者之间运行。
type
type !'a t
val create : int -> 'a t
val clear : 'a t -> unit
val reset : 'a t -> unit
val copy : 'a t -> 'a t
val add : 'a t -> key -> 'a -> unit
val remove : 'a t -> key -> unit
val find : 'a t -> key -> 'a
val find_opt : 'a t -> key -> 'a option
val find_all : 'a t -> key -> 'a list
val replace : 'a t -> key -> 'a -> unit
val mem : 'a t -> key -> bool
val length : 'a t -> int
val stats : 'a t -> Hashtbl.statistics
val add_seq : 'a t -> (key * 'a) Seq.t -> unit
val replace_seq : 'a t -> (key * 'a) Seq.t -> unit
val of_seq : (key * 'a) Seq.t -> 'a t
val clean : 'a t -> unit移除所有失效的绑定。在自动调整大小期间自动完成。
val stats_alive : 'a t -> Hashtbl.statistics与 Hashtbl.SeededS.stats 相同，但仅统计存活的绑定