~/jendhub

def step

ezx@1.11.0.0 · src/ws/up.bend:411

import ezx@1.11.0.0/src/ws/up.bend as Up
import Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/lock/plan.bend as LP

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

Uses (7)

Used by (2)