Plan.plan: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/plan.bend as Plan
Lines 170-173 of ezx@1.11.0.0/src/remove/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/plan.bend&start_line=170&end_line=173

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

# `ez remove` over a World
def plan(world: World) -> P.Plan:
  World{+n, l, +ig} = world
  plan.read(read.of(l), n, ig)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=plan.read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=read.of