Theorem: Interface?.merge_val₁ (Runtime/Interface.lean)

State before:
σ : Interface.Scheme
var : σ.vars
i₁ i₂ : Interface? σ
⊢ i₂ var = none → merge i₁ i₂ var = i₁ var
Tactic:
simp_all [merge, Option.orElse]
State after:
no goals