Run.ref.found: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/run.bend as Run
Lines 320-328 of ezx@1.11.0.0/src/ws/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/run.bend&start_line=320&end_line=328

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/root.bend as R
import ezx@1.11.0.0/src/ws/pin.bend as Pin
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/pkg/path.bend as P

# the ref an add goes on with, in what the search found
def ref.found(+top: String, found: R.Found, +home: String, +target: String, +ref: String) -> IO(String):
  match found:
    case R.Within{+root, +rel}:
      do IO<String>:
        +pins : List<&2, M.Dep> <- pins.at(P.join(top, W.segs.text(root)))
        ref.held(Pin.ref(pins, W.segs.text(rel), home, target, ref))
    case _:
      IO.pure(String, ref)

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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/pkg/path.bend&name=join
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/pin.bend&name=ref
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/root.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=pins.at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=ref.held
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=segs.text