〈 v = e, φ
α
〉 → 〈 ε, φ[ α.v : = e
φ
] 〉
slide
:
Transition system -- rules