Up
–
coq
»
Hashcons
»
Hlist
» 1-D
Parameter
Hlist.1-D
type
t
val
hash :
t
->
int