Directives.Covering.hits: 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 806-823 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=806&end_line=823

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

def Covering.hits(
  coverings: List<&2, Covering>,
  +rule: String,
  +severity: Lint.Severity,
  +row: U32,
  out: List<&2, U32>
) -> List<&2, U32>:
  match coverings:
    case Nil{}:
      out
    case Con{+c, rest}:
      Covering.hits(
        rest,
        rule,
        severity,
        row,
        Covering.hit(Covering.covers(rule, severity, row, c), c, out)
      )

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Severity
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Covering
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Covering.covers
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Covering.hit