Directives.Applied.add: def of bend-lint-rules@0.2.0.0 Import: import bend-lint-rules@0.2.0.0/lib/linter/directives.bend as Directives Lines 838-843 of bend-lint-rules@0.2.0.0/lib/linter/directives.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&start_line=838&end_line=843 import Base import bend-lint-api@0.2.0.0/shared/lists.bend as Lists import bend-lint-api@0.2.0.0/linter/lint.bend as Lint def Applied.add(hits: List<&2, U32>, found: Lint.Found, a: Applied) -> Applied: match hits a: case Nil{} Applied{kept, suppressed, used}: Applied{found <> kept, suppressed, used} case Con{h, t} Applied{kept, suppressed, used}: Applied{kept, found <> suppressed, Lists.onto(&2, U32, Con{h, t}, used)} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Found https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=onto https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Applied