def bar_names

cli@0.2.0.0 · cli.bend:6867

import cli@0.2.0.0/cli.bend as Cli

import Base

6867def bar_names(names: List<&2, String>) -> String:
6868  match names:
6869    case Nil{}: ""
6870    case name <> Nil{}: Sh.quote(name)
6871    case name <> tail: String.concat([Sh.quote(name), "|", bar_names(tail)])

Uses (4)

Used by (2)