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