def step.v
import ezx@1.11.0.0/src/pub/plan.bend as Planimport Base
import ezx@1.11.0.0/src/pub/world.bend as PW
1236# the step for where the World stands
1237def step.v(verdict: Verdict, +world: PW.World) -> Step:
1238 match verdict:
1239 case Go{}:
1240 Run{made(world)}
1241 case Pending{asks}:
1242 Asking{asks}
1243 case Stop{why}:
1244 Run{plan.v(Stop{why}, world)}