Up.step: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/up.bend as Up
Lines 411-415 of ezx@1.13.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ws/up.bend&start_line=411&end_line=415

import Base
import ezx@1.13.0.0/src/lock/world.bend as LW
import ezx@1.13.0.0/src/lock/plan.bend as LP

# the lock planner's step on the World `ez lock` plans on: its questions, or
# its plan. A plain lock with a stale line asks nothing and refuses.
def step(+back: Back, +world: LW.World) -> LP.Step:
  +why = stale(back, world)
  step.plain(String.is_empty(why), why, plans.on(back, world))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=Step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/up.bend&name=Back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/up.bend&name=plans.on
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/up.bend&name=stale
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/up.bend&name=step.plain