World.args.upgrade: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/world.bend as World
Lines 105-109 of ezx@1.13.0.0/src/lock/world.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/world.bend&start_line=105&end_line=109

import Base

# whether the command was `ez lock --upgrade`
def args.upgrade(world: World) -> Bool:
  World{args, _ledger, _listing, _replies, _ups} = world
  Args{up, _only, _here} = args
  up

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/world.bend&name=Args
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/world.bend&name=World