Plan.tree.of: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/pub/plan.bend as Plan Lines 410-417 of ezx@1.11.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pub/plan.bend&start_line=410&end_line=417 import Base import ezx@1.11.0.0/src/pkg/pkg.bend as K import ezx@1.11.0.0/src/pub/world.bend as PW # every file read so far, as the walk is given them: not a whole checkout, so # a file not read yet is a question def tree.of(rs: List<&2, PW.Reply>) -> K.Tree: match rs: case []: K.Tree{False{}, [], []} case PW.Reply{ask, got} <> t: tree.one(ask, got, tree.of(t)) Uses (5): 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/pkg/pkg.bend&name=Tree https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/plan.bend&name=tree.one https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pub/world.bend&name=Reply