def argv_list

cli@0.2.0.0 · run.bend:93

import Base
import cli@0.2.0.0/cli.bend as Cli

93def argv_list(args: List<List<&2, U32>>) -> List<&2, String>:
94  match args:
95    case Nil{}: Nil{}
96    case arg <> tail: Cli.arg_text(arg) <> argv_list(tail)