Up
–
mlpost
»
Mlpost__
»
Hashcons
»
Make
» 1-H
Parameter
Make.1-H
type
t
val
equal :
t
->
t
->
bool
val
hash :
t
->
int