def missing_lines

cli@0.2.0.0 · cli.bend:5770

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

5770def missing_lines(missing: List<&2, String>) -> String:
5771  match missing:
5772    case Nil{}: ""
5773    case head <> tail: String.concat(["\n  ", head, missing_lines(tail)])

Uses (3)

Used by (1)