def lock.step

ezx@1.11.0.0 · src/ws/relock.bend:293

import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/ws/up.bend as U

293# the lock's step
294def lock.step(lk: Lock) -> LP.Step:
295  match lk:
296    case Lock{+back, +world}:
297      U.step(back, world)
298    case Stop{why}:
299      LP.Run{stop(why)}