def file
import ezx@1.11.0.0/src/tool/plan.bend as Planimport Base
import ezx@1.11.0.0/src/tool/world.bend as TW
import ezx@1.11.0.0/src/pkg/path.bend as Path
647# the file built, in the checkout
648def file(+world: TW.World) -> String:
649 Path.join(top(world), choice(world))