Run.fill: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/fetch/run.bend as Run
Lines 114-121 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=114&end_line=121

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/fetch/world.bend as FW

# BEND_LIB `lib` filled from the lock of the project in `here`, which is
# where every relative path in the lock is read from. `ez tool` fills a
# tool's cache from its checkout's lock this way.
def fill(+here: String, +lib: String) -> IO(Unit):
  do IO<Unit>:
    led : Maybe<&2, String> <- F.read(at(here, FW.toml()))
    lk : Maybe<&2, String> <- F.read(at(here, FW.lockfile()))
    loop(rounds(), lib, FW.World{here, Maybe.is_some(&2, String, led), lk, []})

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.is_some
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/fetch/run.bend&name=at
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/run.bend&name=loop
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/run.bend&name=rounds
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=lockfile
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/fetch/world.bend&name=toml
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=read