Config.home.segs: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/config.bend as Config Lines 213-223 of bolt@1.27.0.0/src/config.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/config.bend&start_line=213&end_line=223 import Base import bolt@1.27.0.0/src/rchars.bend as Rchars # the directories a path names, innermost first: its segments, split at `/`, # each read by `home.step` onto those before it (seg holds the segment being # read, reversed) def home.segs(cs: List<&2, Char>, seg: List<&2, Char>, above: List<&2, String>) -> List<&2, String>: match cs: case Nil{}: home.step(Rchars.text(seg), above) case Con{'/', t}: home.segs(t, [], home.step(Rchars.text(seg), above)) case Con{c, t}: home.segs(t, c <> seg, above) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char 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=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=home.step https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rchars.bend&name=text