Documentation

Lean.Compiler.IR.ElimDeadVars

Eliminate dead let-declarations and join points

Equations
Instances For