Up
–
fix
»
Fix
»
Glue
»
WeakHashTablesAsImperativeMaps
» H
Parameter
WeakHashTablesAsImperativeMaps.H
type
t
val
equal :
t
->
t
->
bool
val
hash :
t
->
int