def step.v

ezx@1.11.0.0 · src/add/plan.bend:659

import Base
import ezx@1.11.0.0/src/add/world.bend as A

659def step.v(verdict: Verdict, +world: A.World) -> Step:
660  match verdict:
661    case Go{}:
662      Run{plan.v(Go{}, world)}
663    case Pending{qs}:
664      Asking{asks.of(qs, A.from(world))}
665    case Stop{why}:
666      Run{plan.v(Stop{why}, world)}