def lock

ezx@1.11.0.0 · src/add/relock.bend:101

import ezx@1.11.0.0/src/add/relock.bend as Relock

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P

101# the plan of that lock
102def lock(world: World) -> P.Plan:
103  P.plan(lock.world(world))

Uses (4)

Used by (1)

ezx@1.11.0.0/src/add/relock:plan