Theorem: Cpdt.Chapter2.TInstr.denote_ibConst (Cpdt/Chapter2/Typed.lean)

State before:
b : Bool
a✝ : TStack
s : VStack a✝
⊢ denote (ibConst b) s = (b, s)
Tactic:
rfl
State after:
no goals