def plan

ezx@1.11.0.0 · src/remove/relock.bend:47

import Base
import ezx@1.11.0.0/src/remove/plan.bend as RP
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/relock/relock.bend as R

47# `ez remove` over a World: the remove, then the lock over what it leaves
48def plan(world: World) -> P.Plan:
49  World{+r, +here, +listing, +locks} = world
50  R.join(RP.plan(r), lock(World{r, here, listing, locks}), [], tail())