Plan.settings: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan Lines 462-465 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=462&end_line=465 import Base import bolt@1.27.0.0/src/lint/world.bend as W import bolt@1.27.0.0/src/finding.bend as F # the `setting` rule's findings: each unknown setting of every bolt.bend # grading reads (src/rules/correctness/setting.bend) def settings(+world: W.World) -> List<&2, F.Finding>: settings.at(gots(graders(world), world)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List 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=gots https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=graders https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=settings.at https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World