World.World: type of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/world.bend as World
Lines 53-57 of ezx@1.11.0.0/src/tool/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/world.bend&start_line=53&end_line=57

import Base
import ezx@1.11.0.0/src/lock/up.bend as Up

# everything `ez tool run`, `install` and `upgrade` read
type World is Data:
  World{act: Act, target: String, want: String, here: String, env: Env, bend: String,
    ledger: Maybe<&2, String>, lock: Maybe<&2, String>, replies: List<&2, Reply>,
    ups: List<&2, Up.Reply>}

Uses (7):
  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/lock/up.bend&name=Reply
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Act
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Env
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/world.bend&name=Reply