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.