Text.text.own: def of ezsys@0.1.0.0 Import: import ezsys@0.1.0.0/src/text.bend as Text Lines 22-28 of ezsys@0.1.0.0/src/text.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/text.bend&start_line=22&end_line=28 import Base # a caller's pairs as reusable ones, in their order def text.own(xs: List<(String & String)>) -> text.Pairs(): match xs: case Nil{}: Nil{} case Con{(+key, +value), rest}: Con{(key, value), text.own(rest)} 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=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=ezsys@0.1.0.0/src/text.bend&name=text.Pairs