Up
–
coq
»
OrderedType
» UnorderedPair
Module
OrderedType.UnorderedPair
Parameters
M
:
S
Signature
type
t
=
M.t
*
M.t
val
compare :
t
->
t
->
int