10 val equal : t -> t -> bool
16 type t = private { id : int;
23 val equal : t -> t -> bool
26 module Make (H : Hashtbl.HashedType) : S with type data = H.t =
39 module WH = Weak.Make( struct
43 let equal a b = a==b || H.equal a.node b.node
45 let pool = WH.create MED_H_SIZE
47 let cell = { id = gen_uid(); key = H.hash x; node = x } in