def args.rename
import ezx@1.11.0.0/src/add/world.bend as Worldimport Base
60def args.rename(given: Args) -> String:
61 Args{_t, _ref, _entry, r} = given
62 r
import ezx@1.11.0.0/src/add/world.bend as Worldimport Base
60def args.rename(given: Args) -> String:
61 Args{_t, _ref, _entry, r} = given
62 r