World.args.entry: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/add/world.bend as World Lines 56-58 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=56&end_line=58 import Base def args.entry(given: Args) -> String: Args{_t, _ref, e, _rename} = given e Uses (2): 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/add/world.bend&name=Args