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

Equations

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