Documentation

Lean.Compiler.IR.ElimDeadVars

Eliminate dead let-declarations and join points

Equations
  • d.elimDead = match d with | Lean.IR.Decl.fdecl f xs type b info => d.updateBody! b.elimDead | other => other
Instances For