def paths.text

ezx@1.11.0.0 · src/ws/up.bend:125

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

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