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