package rocq-runtime

  1. Overview
  2. Docs

Module OrderedType.PairSource

Parameters

module M : S
module N : S

Signature

Sourcetype t = M.t * N.t
Sourceval compare : t -> t -> int