Up.ledger.back: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 98-102 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=98&end_line=102

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# a ledger after the upgrade, every pin taken from the joint ledger
def ledger.back(mm: M.Manifest, joint: M.Manifest) -> M.Manifest:
  M.Manifest{nn, ee, bb, hh, pa, pv, ds, ts} = mm
  M.Manifest{_jn, _je, _jb, _jh, _jpa, _jpv, +jd, +jt} = joint
  M.Manifest{nn, ee, bb, hh, pa, pv, deps.back(ds, jd), tools.back(ts, jt)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=deps.back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=tools.back