Up
–
coq-core
»
Util
»
Set
»
Hashcons
» 2-_
Parameter
Hashcons.2-_
type
t
=
M.t
val
hash :
t
->
int