chore: make auto param decls of private decls private#11581

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-rqswvzskntnxKha/lean4:push-rqswvzskntnxCopy head branch name to clipboard