Run.laid: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/run.bend as Run
Lines 34-40 of ezx@1.11.0.0/src/fetch/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/fetch/run.bend&start_line=34&end_line=40

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/lock/world.bend as W

# the tree under BEND_LIB for a hash, as its manifest names it, or a miss
# when there is none
def laid(+lib: String, +hash: String) -> IO(W.Answer):
  +dir = lib ++ "/" ++ hash
  do IO<W.Answer>:
    m : Maybe<&2, String> <- F.read(dir ++ "/manifest")
    laid.seen(m, dir)

Uses (8):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/run.bend&name=laid.seen
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Answer