~/jendhub

def step

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

import ezx@1.11.0.0/src/lock/plan.bend as Plan
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

1404# what the interpreter does next on a World. The upgrade is decided once per
1405# round, and every answer of the round is read from that one decision.
1406def step(world: W.World) -> Step:
1407  W.World{+args, +ledger, +listing, +replies, ups} = world
1408  +nx = W.next(args, ledger, ups)
1409  step.ups(Up.next.asks(nx), W.here.of(args), nx, listing, replies)

Uses (6)

Used by (3)