Up – Index » rocq-runtime » OrderedType » Pair » N

Parameter `Pair.N`

type t

val compare : t -> t -> int