def tag
import cli@0.2.0.0/cli.bend as Cliimport Base
5318def tag(name: String, values: List<&2, String>) -> String:
5319 match values:
5320 case Nil{}: ""
5321 case head <> tail:
5322 String.concat(["[", name, ": ", String.join(head <> tail, ", "), "]"])