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

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

# a dependency with the pin the joint ledger gives its name, by its own
# source: a workspace member's section is kept as it is written, since the
# hash and entry the joint ledger gives it are no ledger's to record
def dep.back.src(own: M.Source, +nn: String, +hh: String, +ee: String, joint: M.Dep) -> M.Dep:
  match own:
    case M.Member{path, nv}:
      M.Dep{nn, hh, ee, M.Member{path, nv}}
    case M.Hub{nv}:
      M.Dep{_jn, jh, je, js} = joint
      M.Dep{nn, jh, je, source.back(M.Hub{nv}, js)}
    case M.Git{url, rev, tag, root, nar, vend}:
      M.Dep{_jn, jh, je, js} = joint
      M.Dep{nn, jh, je, source.back(M.Git{url, rev, tag, root, nar, vend}, js)}

Uses (4):
  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=Dep
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/up.bend&name=source.back