Up.plan.up: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 358-363 of ezx@1.11.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/up.bend&start_line=358&end_line=363

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

# an upgrade's plan on the World it rewrote: the files it rewrote written
# first, so a source the lock planner rewrites too is left as the planner
# writes it, and then the planner's plan with the ledgers written back
def plan.up(got: Up, +back: Back) -> LP.Plan:
  Up{+w2, eds} = got
  edits.put(LP.refuses(w2), eds, plan.back(LP.plan(w2), writes(back, LP.ledger.next(w2))))

Uses (9):
  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/lock/plan.bend&name=ledger.next
  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/lock/plan.bend&name=refuses
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=Back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=Up
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=edits.put
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=plan.back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=writes