Word.cut.go: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/syntax/word.bend as Word Lines 113-121 of bolt@1.27.0.0/src/syntax/word.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/word.bend&start_line=113&end_line=121 import Base # `Alias.rest` cut at its first dot: ("Alias", "rest"); no dot: (name, "") def cut.go(cs: List<&2, Char>, acc: List<&2, Char>) -> String & String: match cs: case Nil{}: (text(acc), "") case Con{'.', t}: (text(acc), String.from_list(t)) case Con{c, t}: cut.go(t, c <> acc) Uses (11): 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=Pair https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.from_list 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/syntax/word.bend&name=text