def args

import ezx@1.11.0.0/src/add/world.bend as World

import Base

43# the arguments
44def args(world: World) -> Args:
45  World{a, _here, _home, _ledger, _ignore, _replies, _hubs} = world
46  a

Uses (2)