def step.names

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

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

1366# the package questions still open, or the name questions, or the plan once
1367# there are none
1368def step.names(names: List<&2, W.Ask>, +nx: Up.Next, listing: W.Listing, replies: List<&2, W.Reply>) -> Step:
1369  match names:
1370    case []:
1371      Run{plan.of(nx, listing, replies)}
1372    case h <> t:
1373      Asking{[], [], h <> t}