Module Weakhtbl

module Weakhtbl: sig .. end
Hashtables with weak key used for memoization

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