~/jendhub

def bash_opt_cases

cli@0.2.0.0 · cli.bend:6563

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

6563def bash_opt_cases(opts: List<&2, Opt>) -> List<&2, String>:
6564  match opts:
6565    case Nil{}: Nil{}
6566    case opt <> tail: List.append(&2, String, bash_opt_case(opt), bash_opt_cases(tail))

Uses (5)

Used by (1)