Directives.Covering.ran: 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 993-1010 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=993&end_line=1010

import Base

def Covering.ran(
  coverings: List<&2, Covering>,
  +ran: List<&2, String>,
  out: List<&2, Covering>
) -> List<&2, Covering>:
  match coverings:
    case Nil{}:
      List.reverse(&2, Covering, out)
    case Con{Covering{Directive{a, s, +r, sev, c, i}, from, to}, rest}:
      Covering.ran(
        rest,
        ran,
        Covering.keep(
          List.contains(~String, ~String.eq, ran, r),
          Covering{Directive{a, s, r, sev, c, i}, from, to},
          out
        )
      )

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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.keep
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Directive