Plan.step.pkgs: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan Lines 1375-1386 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=1375&end_line=1386 import Base import ezx@1.11.0.0/src/lock/world.bend as W import ezx@1.11.0.0/src/lock/up.bend as Up def step.pkgs( asks: List<&2, W.Ask>, names: List<&2, W.Ask>, +nx: Up.Next, listing: W.Listing, replies: List<&2, W.Reply> ) -> Step: match asks: case []: step.names(names, nx, listing, replies) case h <> t: Asking{h <> t, [], names} Uses (7): 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/lock/plan.bend&name=Step https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=step.names https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Next https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Ask https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Listing https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Reply