def Lean.isAutoDeclOrPrivate_Internal (decl : Name) : CoreM Bool

Returns true if decl is an automatically generated declaration.

Also returns true if decl is an internal name or created during macro expansion.

Equations

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