Up
–
coq-core
»
Hashset
» EqType
Module type
Hashset.EqType
type
t
val
eq :
t
->
t
->
bool