def Lean.IR.ensureHasDefault (alts : Array Alt) : Array Alt

Equations

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

partial def Lean.IR.FnBody.simpCase (b : FnBody) : FnBody

def Lean.IR.Decl.simpCase (d : Decl) : Decl

Simplify case

• Remove unreachable branches.
• Remove case if there is only one branch.
• Merge most common branches using Alt.default.

Equations

• (Lean.IR.Decl.fdecl f xs type b info).simpCase = (Lean.IR.Decl.fdecl f xs type b info).updateBody! b.simpCase
• d.simpCase = d