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