Documentation

Lean.Compiler.LCNF.ElimDead

Collect set of (let) free variables in a LCNF value. This code exploits the LCNF property that local declarations do not occur in types.

Equations
Instances For
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For