{α : Type u} →
  {x : BEq α} →
    {x_1 : Hashable α} →
      [EquivBEq α] →
        [LawfulHashable α] →
          {β : Type v} →
            {ρ : Type w} → [ForIn Id ρ (α × β)] → (Std.ExtDHashMap α fun x => β) → ρ → Std.ExtDHashMap α fun x => β