Directives.Covering.all: 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 757-774 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=757&end_line=774

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

def Covering.all(
  saids: List<&2, Said>,
  +lines: List<&2, Bool>,
  +closed: List<&2, Closed>,
  +last: U32,
  out: List<&2, Covering>
) -> List<&2, Covering>:
  match saids:
    case Nil{}:
      List.reverse(&2, Covering, out)
    case Con{s, rest}:
      Covering.all(
        rest,
        lines,
        closed,
        last,
        Lists.push(Covering, Covering.of(s, lines, closed, last), out)
      )

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  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/shared/lists.bend&name=push
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Closed
  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.of
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/linter/directives.bend&name=Said