def builtin_nolint : Lean.ParserDescr

@[builtin_nolint linterName*] omits the tagged declaration from being checked by the named builtin linters in lake builtin-lint.