Plan.part.fetch.heard: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/fetch/plan.bend as Plan Lines 267-273 of ezx@1.11.0.0/src/fetch/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&start_line=267&end_line=273 import Base import ezx@1.11.0.0/src/fetch/world.bend as F import ezx@1.11.0.0/src/pkg/pkg.bend as K # a package fetched, once it is answered def part.fetch.heard(got: F.Heard, fs: List<&2, K.Item>, +root: String) -> Part: match got: case F.Open{}: AskFetch{} case F.Heard{answer}: part.tree(tree.of(answer, root), fs) 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=String https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=Part https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=part.tree https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/plan.bend&name=tree.of https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=Heard https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Item