Render.readd: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ledger/render.bend as Render
Lines 131-136 of ezx@1.11.0.0/src/ledger/render.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ledger/render.bend&start_line=131&end_line=136

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

# a dependency added again keeps the `vendor = true` its entry already had.
# The command line has no way to say it, so a re-add that dropped it would
# drop the tree from the allowlist without anyone having asked.
def readd(ds: List<&2, M.Dep>, dependency: M.Dep) -> M.Dep:
  M.Dep{+n, h, e, s} = dependency
  M.Dep{n, h, e, revend(M.source.vendor(M.source.dep(M.find(ds, n))), s)}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=find
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.dep
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=source.vendor
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=revend