def ledger.back

ezx@1.11.0.0 · src/ws/up.bend:98

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

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