~/jendhub

def lock.packs

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

import ezx@1.11.0.0/src/ws/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/lock/lock.bend as L

301# the packages the lock records, none when it cannot be made
302def lock.packs(lk: Lock) -> List<&2, L.Pack>:
303  match lk:
304    case Lock{_back, +world}:
305      LP.packs(world)
306    case Stop{_why}:
307      []

Uses (4)

Used by (1)