def out
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
719# the binary
720def out(+world: TW.World) -> String:
721 bdir(world) ++ "/" ++ name(world) ++ ".out"
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
719# the binary
720def out(+world: TW.World) -> String:
721 bdir(world) ++ "/" ++ name(world) ++ ".out"