Decidable equivalence for HashMap.Raw

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

Equations

• Std.HashMap.Raw.instDecidableEquiv h₁ h₂ = decidable_of_iff (m₁.inner.Equiv m₂.inner) ⋯