Commit 2023-11-21 17:38 29764c6a
View on Github →refactor: generalize Bool.beq_eq_decide_eq (#8532)
This PR generalizes Bool.beq_eq_decide_eq to also be applicable for types whose BEq α is different from the default instance implied by DecidableEq α. An example of such a type is Nat.