def Lean.Compiler.LCNF.Simp.addDefaultAlt (alts : Array Lean.Compiler.LCNF.Alt) : Lean.Compiler.LCNF.Simp.SimpM (Array Lean.Compiler.LCNF.Alt)

Add a default case to the given cases alternatives if there are alternatives with equivalent (aka alpha equivalent) right hand sides.

Equations

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