Lock.ledger.other: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/lock.bend as Lock
Lines 242-251 of ezx@1.11.0.0/src/lock/lock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/lock.bend&start_line=242&end_line=251

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

# a dependency that is not a git one as an origin: a workspace member's tree,
# which only the joint ledger names, or the hub
def ledger.other(src: M.Source, +entry: String) -> Src:
  match src:
    case M.Hub{_named}:
      Hub{}
    case M.Git{_url, _rev, _tag, _root, _nar, _vend}:
      Hub{}
    case M.Member{path, _named}:
      Member{path, entry}

Uses (3):
  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=Source
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Src