Profile.join_strs: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/profile.bend as Profile Lines 75-82 of cswap-bend-cli@0.1.0.0/profile.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&start_line=75&end_line=82 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json def join_strs(+xs: List<&2, Json.Json>) -> List<&2, String>: match xs: case Nil{}: [] case Con{Json.JStr{s}, t}: s <> join_strs(t) case Con{h, t}: join_strs(t) 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=cswap-bend-cli@0.1.0.0/json.bend&name=Json