sig
type
t
val
tag :
Weakhtbl
.
Weakey
.t
->
Weakhtbl
.tag
end