def problem_lines
import cli@0.2.0.0/cli.bend as Cliimport Base
6128def problem_lines(found: List<&2, Problem>) -> String:
6129 match found:
6130 case Nil{}: ""
6131 case p <> tail: String.concat([problem_line(p), "\n", problem_lines(tail)])