Plan.imports.notes: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan Lines 513-520 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=513&end_line=520 import Base import ezx@1.11.0.0/src/doctor/world.bend as DW import ezx@1.11.0.0/src/ledger/manifest.bend as M # the report over a ledger. One that did not read is its own problem, and # there is nothing to compare the source with. def imports.notes(ledger: M.Read, got: DW.Heard) -> List<&2, Note>: match ledger: case M.Bad{_why}: [Note{False{}, "imports: not compared, since ez.toml was not read"}] case M.Good{m}: sources.notes(got, deps.of(m)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=Note https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=deps.of https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&name=sources.notes https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/doctor/world.bend&name=Heard https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Read