Plan.facts.of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan
Lines 389-398 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=389&end_line=398

import Base
import bolt@1.27.0.0/src/role.bend as Role

# the facts (src/role.bend) of each file the World read, from its text, each
# at its path resolved against the working directory (abs)
def facts.of(gs: List<&2, Got>, +cwd: String) -> List<&2, Role.Fact>:
  match gs:
    case Nil{}:
      Nil{}
    case Con{Got{_path, None{}}, rest}:
      facts.of(rest, cwd)
    case Con{Got{path, Some{text}}, rest}:
      Role.fact.text(abs(cwd, path), text) <> facts.of(rest, cwd)

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/lint/plan.bend&name=abs
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=Fact
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=fact.text