intros name τ
α σ : Type
ε : σ → Type
δ : Dialect α σ ε
scope : SSAScope δ
⊢ equiv scope scope
α σ : Type
ε : σ → Type
δ : Dialect α σ ε
scope : SSAScope δ
name : SSAVal
τ : MLIRType δ
⊢ get name scope τ = get name scope τ