def world.at
import ezx@1.11.0.0/src/ws/up.bend as Upimport Base
import ezx@1.11.0.0/src/lock/world.bend as LW
import ezx@1.11.0.0/src/ws/joint.bend as J
309# the World `ez lock` plans on at a workspace root: a plain lock's as it is,
310# and an upgrade's with every moved member's import lines rewritten
311def world.at(up: Bool, +text: String, +fs: List<&2, J.Found>, +lock: String, +world: LW.World) -> LW.World:
312 match up:
313 case True{}:
314 up.world(up.of(text, fs, lock, world))
315 case False{}:
316 world