def argv_of

cli@0.2.0.0 · run.bend:98

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

98# IO.args_bytes without its head, the program as invoked, each argument
99# decoded by Cli.arg_text, so Cli.arg_bytes gives back its bytes.
100def argv_of(args: List<List<&2, U32>>) -> List<&2, String>:
101  match args:
102    case Nil{}: Nil{}
103    case program <> tail: argv_list(tail)