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