def plan

ezx@1.11.0.0 · src/doctor/plan.bend:883

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

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