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

import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/rules/correctness/setting.bend as Setting

# the `setting` rule's findings on each bolt.bend the World read, in order
def settings.at(gs: List<&2, Got>) -> List<&2, F.Finding>:
  match gs:
    case Nil{}:
      Nil{}
    case Con{Got{+path, Some{text}}, rest}:
      List.append(&2, F.Finding, Setting.check(path, text), settings.at(rest))
    case Con{Got{_path, None{}}, rest}:
      settings.at(rest)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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/finding.bend&name=Finding
  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/rules/correctness/setting.bend&name=check