Decidable equivalence for HashMap

instance Std.HashMap.instDecidableEquivOfLawfulBEq {α : Type u} {β : Type v} [BEq α] [LawfulBEq α] [Hashable α] [BEq β] [LawfulBEq β] (m₁ m₂ : HashMap α β) : Decidable (m₁.Equiv m₂)

Equations

• m₁.instDecidableEquivOfLawfulBEq m₂ = decidable_of_iff (m₁.inner.Equiv m₂.inner) ⋯