Up
–
coq-core
»
Nametab
» EqualityType
Module type
Nametab.EqualityType
type
t
val
equal :
t
->
t
->
bool