Cli.convert_all: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 4582-4586 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=4582&end_line=4586 import Base def convert_all(~T: Data, ~conv: String -> T, values: List<&2, String>) -> List<&2, T>: match values: case Nil{}: Nil{} case head <> tail: conv(head) <> convert_all(~T, ~conv, tail) Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String