Plan.srcs_of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan
Lines 368-376 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=368&end_line=376

import Base
import bolt@1.27.0.0/src/src.bend as Src

# every source that was read, parsed once for every rule
def srcs_of(gs: List<&2, Got>) -> List<&2, Src.Src>:
  match gs:
    case Nil{}:
      Nil{}
    case Con{Got{_path, None{}}, rest}:
      srcs_of(rest)
    case Con{Got{path, Some{text}}, rest}:
      Src.of(path, text) <> srcs_of(rest)

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=Got
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=of