Theorem: Cpdt.Chapter2.TExp.compile_bConst (Cpdt/Chapter2/Typed.lean)

State before:
b : Bool
ts : TStack
⊢ compile (bConst b) ts = cons (ibConst b) nil
Tactic:
rfl
State after:
no goals