def lock.plan

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

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

285# the lock's plan
286def lock.plan(lk: Lock) -> LP.Plan:
287  match lk:
288    case Lock{back, +world}:
289      U.plan(back, world)
290    case Stop{why}:
291      stop(why)