def rename
import ezx@1.11.0.0/src/add/world.bend as Worldimport Base
75# the `--rename` asked for, "" for none
76def rename(world: World) -> String:
77 args.rename(args(world))
import ezx@1.11.0.0/src/add/world.bend as Worldimport Base
75# the `--rename` asked for, "" for none
76def rename(world: World) -> String:
77 args.rename(args(world))