BendLintRules.places.walk: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/lib/text/main.bend as BendLintRules
Lines 369-392 of bend-lint-rules@0.2.0.0/lib/text/main.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&start_line=369&end_line=392

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

# The requests of each file of `paths` placed in its text, onto `out`; a file `texts` lacks places them at its start.
def places.walk(
  paths: List<&2, String>,
  +groups: Map<&2, List<&2, Placed>>,
  +texts: Map<&2, String>,
  out: Map<&2, Position>
) -> Map<&2, Position>:
  match paths:
    case Nil{}:
      out
    case Con{+path, rest}:
      places.walk(
        rest,
        groups,
        texts,
        places.keep(
          Walk.locate(
            Lists.sort(~Placed, ~Placed.is_le, Names.Group.get(Placed, groups, path)),
            Pair.snd(Map<&2, String>, String, Map.get(String, "", texts, path))
          ),
          path,
          out
        )
      )

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair.snd
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&name=sort
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&name=Group.get
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Placed
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Placed.is_le
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Position
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=Walk.locate
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/lib/text/main.bend&name=places.keep