Plan.plan: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/doctor/plan.bend as Plan
Lines 883-886 of ezx@1.13.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&start_line=883&end_line=886

import Base
import ezx@1.13.0.0/src/doctor/world.bend as DW
import ezx@1.13.0.0/src/lock/plan.bend as P

# `ez doctor` over a World
def plan(+world: DW.World) -> P.Plan:
  plan.of(ledger.seen(DW.read(world)), DW.cc(world), DW.lib(world), DW.lock(world),
    DW.replies(world), checked(world))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=checked
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=ledger.seen
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/plan.bend&name=plan.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=cc
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=lib
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=lock
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/doctor/world.bend&name=replies
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/plan.bend&name=Plan