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

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

# the command as it was run: `--upgrade`, the name `--package` gave ("" for
# none), and the directory it runs in, which is the project root. A relative
# path source is recorded as it was given, relative to that root, and every
# question the lock asks about it names it anchored there, as the planner
# computes it (`P.anchor.src`, `Up.anchor`).
type Args is Data:
  Args{upgrade: Bool, only: String, here: String}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String