Up
–
coq-core
»
OrderedType
»
UnorderedPair
» 1-M
Parameter
UnorderedPair.1-M
type
t
val
compare :
t
->
t
->
int