Commit 2024-11-29 04:10 8e5beeaf
View on Github →refactor(Order/WellFounded): deprecate WellFounded.succ (#18238)
This definition is somewhat of a footgun, as it can't actually be used to define a SuccOrder instance on partial orders, and in the linear order case, one can use SuccOrder.ofLinearWellFoundedLT for that purpose.