def plan
import ezx@1.11.0.0/src/remove/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/plan.bend as P
170# `ez remove` over a World
171def plan(world: World) -> P.Plan:
172 World{+n, l, +ig} = world
173 plan.read(read.of(l), n, ig)
import ezx@1.11.0.0/src/remove/plan.bend as Planimport Base
import ezx@1.11.0.0/src/lock/plan.bend as P
170# `ez remove` over a World
171def plan(world: World) -> P.Plan:
172 World{+n, l, +ig} = world
173 plan.read(read.of(l), n, ig)