def wants.up
import ezx@1.11.0.0/src/lock/plan.bend as Planimport 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
1215# the upgrade's questions a World still leaves open; none for a plain lock
1216def wants.up(world: W.World) -> List<&2, Up.Ask>:
1217 W.World{args, +ledger, _listing, _replies, ups} = world
1218 Up.next.asks(W.next(args, ledger, ups))