Up
–
rocq-runtime
»
Hashset
» EqType
Module type
Hashset.EqType
type
t
val
eq :
t
->
t
->
bool