World.deps: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/add/world.bend as World
Lines 137-139 of ezx@1.11.0.0/src/add/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/add/world.bend&start_line=137&end_line=139

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

# the ledger's dependencies, none when it did not read
def deps(world: World) -> List<&2, M.Dep>:
  deps.of(manifest.of(read(world)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=deps.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=manifest.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/add/world.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Dep