Up.world.at: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/ws/up.bend as Up
Lines 309-316 of ezx@1.13.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/ws/up.bend&start_line=309&end_line=316

import Base
import ezx@1.13.0.0/src/lock/world.bend as LW
import ezx@1.13.0.0/src/ws/joint.bend as J

# the World `ez lock` plans on at a workspace root: a plain lock's as it is,
# and an upgrade's with every moved member's import lines rewritten
def world.at(up: Bool, +text: String, +fs: List<&2, J.Found>, +lock: String, +world: LW.World) -> LW.World:
  match up:
    case True{}:
      up.world(up.of(text, fs, lock, world))
    case False{}:
      world

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/joint.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/up.bend&name=up.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/ws/up.bend&name=up.world