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

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

# `ez init` over a World
def plan(world: World) -> P.Plan:
  World{n, e, d, led, ig, mn, lb} = world
  plan.go(led, name.or(n), entry.or(e), d, ig, mn, lb)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=entry.or
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=name.or
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/init/plan.bend&name=plan.go
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan