simp[encodeSource]
case idx.imm
s₀ s₁ hd✝¹ tl✝¹ : Source
h₀ : s₀ = Source.idx hd✝¹ tl✝¹
hd✝ : Bool
tl✝ : Source
h₁ : s₁ = Source.imm hd✝ tl✝
⊢ encodeSource (Source.idx hd✝¹ tl✝¹) = encodeSource (Source.imm hd✝ tl✝) → Source.idx hd✝¹ tl✝¹ = Source.imm hd✝ tl✝
no goals