Toml.head.of: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/toml/toml.bend as Toml Lines 263-271 of ezx@1.11.0.0/src/toml/toml.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/toml/toml.bend&start_line=263&end_line=271 import Base # a header as ez names it: its segments, each bare or quoted, joined by dots def head.of(segs: List<&2, String>) -> String: match segs: case []: "" case +hd <> []: key(hd) case +hd <> tl: key(hd) ++ "." ++ head.of(tl) Uses (4): 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=String.append https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/toml/toml.bend&name=key