Documentation

Lean.Compiler.IR.PushProj

Push projections inside case branches.

Equations