Run.search.at: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/run.bend as Run
Lines 46-55 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=46&end_line=55

import Base
import ezx@1.11.0.0/src/ws/root.bend as R

# the search, once git said where ez runs. Outside a checkout there is no
# committed ledger above, so no workspace: the directory is its own project.
def search.at(here: Maybe<&2, List<&2, String>>, +top: String) -> IO(Searched):
  match here:
    case None{}:
      IO.pure(Searched, Searched{"", R.Alone{}})
    case Some{hs}:
      do IO<Searched>:
        ups : List<&2, R.Up> <- read.ups(top, R.asks(hs))
        return Searched{top, R.root.go(ups)}

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=Maybe
  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/ws/root.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/root.bend&name=Up
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/root.bend&name=asks
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/root.bend&name=root.go
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=Searched
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=read.ups