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

Parameter `Pair.M`

type t

val compare : t -> t -> int