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