Try to simplify projections .proj _ i s where s is constructor.
Instances For
Application over application.
let g := f a
g b
is simplified to f a b.
Instances For
Try to apply simple simplifications.
Lean.Compiler.LCNF.Simp.SimpValue
Try to simplify projections .proj _ i s where s is constructor.
Application over application.
let g := f a
g b
is simplified to f a b.
Try to apply simple simplifications.