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

import Base
import snap@1.4.0.0/main.bend as Sn
import ezx@1.11.0.0/src/ws/hop.bend as H

# a command acted on as the library decision says: where it is, or again
# where it is with BEND_LIB set to the root's
def lib.at(lib: H.Lib, go: Unit -> IO(Unit)) -> IO(Unit):
  match lib:
    case H.Keep{}:
      go(Unit{})
    case H.Set{+at}:
      do IO<Unit>:
        +pwd : String <- Sn.exec(["pwd"])
        xs : List<&2, String> <- argv()
        +code : U32 <- lib.go(at, String.trim(Sn.text(pwd)), xs)
        hop.end(U32.is_eq(code, 0), code)

Uses (14):
  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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/hop.bend&name=Lib
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=argv
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=hop.end
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=lib.go
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text