def step.pkgs

ezx@1.11.0.0 · src/lock/plan.bend:1375

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

1375def step.pkgs(
1376  asks: List<&2, W.Ask>,
1377  names: List<&2, W.Ask>,
1378  +nx: Up.Next,
1379  listing: W.Listing,
1380  replies: List<&2, W.Reply>
1381) -> Step:
1382  match asks:
1383    case []:
1384      step.names(names, nx, listing, replies)
1385    case h <> t:
1386      Asking{h <> t, [], names}