def Lean.IR.reshapeWithoutDead (bs : Array FnBody) (term : FnBody) : FnBody

partial def Lean.IR.reshapeWithoutDead.reshape (bs : Array FnBody) (b : FnBody) (used : IndexSet) : FnBody

partial def Lean.IR.FnBody.elimDead (b : FnBody) : FnBody

def Lean.IR.Decl.elimDead (d : Decl) : Decl

Eliminate dead let-declarations and join points