Yaml.Num.int: def of bend-kube-runtime@0.2.0.0 Import: import bend-kube-runtime@0.2.0.0/src/yaml.bend as Yaml Lines 370-378 of bend-kube-runtime@0.2.0.0/src/yaml.bend: https://jend.leeeet.dev/read.txt?path=bend-kube-runtime@0.2.0.0/src/yaml.bend&start_line=370&end_line=378 import Base # The integer digits without leading zeros, "0" for none. def Num.int(cs: List<&2, Char>) -> String: match cs: case Nil{}: "0" case Con{'0', t}: Num.int(t) case Con{c, t}: String.from_list(Con{c, t}) Uses (8): 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=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