partial def
Lean.IR.pushProjs
(bs : Array Lean.IR.FnBody)
(alts : Array Lean.IR.Alt)
(altsF : Array Lean.IR.IndexSet)
(ctx : Array Lean.IR.FnBody)
(ctxF : Lean.IR.IndexSet)
:
Push projections inside case
branches.
Lean.Compiler.IR.PushProj
Push projections inside case
branches.