Up.writes.joint: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 221-227 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=221&end_line=227

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/lock/plan.bend as LP
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/joint.bend as J

# every ledger the upgrade changed, once the joint ledger it leaves was read
def writes.joint(joint: M.Read, +text: String, +spec: W.Spec, +fs: List<&2, J.Found>) -> List<&2, LP.Effect>:
  match joint:
    case M.Bad{_why}:
      []
    case M.Good{+jm}:
      writes.members(W.members(spec, W.root.of(text), J.ledgers(fs)), text, spec, fs, jm)

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Effect
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/joint.bend&name=ledgers
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=writes.members
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Spec
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=members
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=root.of