Up.paths.text: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/up.bend as Up
Lines 125-131 of ezx@1.11.0.0/src/ws/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/up.bend&start_line=125&end_line=131

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W

# every path as it was written
def paths.text(ps: List<&2, List<&2, String>>) -> List<&2, String>:
  match ps:
    case []:
      []
    case hd <> tl:
      W.segs.text(hd) <> paths.text(tl)

Uses (3):
  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.11.0.0/src/ws/workspace.bend&name=segs.text