def builtin_nolint : Lean.ParserDescr

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

Equations

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