Plan.step.v: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/plan.bend as Plan
Lines 659-666 of ezx@1.11.0.0/src/add/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/plan.bend&start_line=659&end_line=666

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=Verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=asks.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/plan.bend&name=plan.v
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=from