Skip to content

chore: use Ordering.then in deriving Ord#3893

Merged
nomeata merged 1 commit intoleanprover:masterfrom digama0:deriving_ord_thenApr 12, 2024

Commits

Commits on Apr 12, 2024