def plan

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

import Base
import ezx@1.11.0.0/src/add/plan.bend as AP
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/relock/relock.bend as R

179# `ez add` over a World: the add, then the lock over what it leaves
180def plan(world: World) -> P.Plan:
181  World{+a, +listing, +locks} = world
182  R.join(AP.command(a), lock(World{a, listing, locks}), notes(World{a, listing, locks}),
183    tail(a))