Toml.pairs.of: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/toml/toml.bend as Toml Lines 229-237 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=229&end_line=237 import Base import emerging-eztoml@0.9.0.0/main.bend as E # the pairs among a table's rows, in order def pairs.of(rows: List<&2, E.Val>) -> List<&2, Kv>: match rows: case []: [] case E.VPair{name, val} <> tl: List.append(&2, Kv, pair.of(name, val), pairs.of(tl)) case _hd <> tl: pairs.of(tl) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/toml/toml.bend&name=Kv https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/toml/toml.bend&name=pair.of