Module Weakhtbl

module Weakhtbl: sig .. end

type tag 

val dummy_tag : tag

val create_tag : int -> tag

val tag_equal : tag -> tag -> bool

val tag_hash : tag -> int

module type S = sig .. end

module type Weakey = sig .. end

module Make: 
functor (S : Weakey) -> S  with type key = S.t