def first_then

cli@0.2.0.0 · cli.bend:5539

import cli@0.2.0.0/cli.bend as Cli

import Base

5539def first_then(lines: List<&2, String>, col: Nat) -> List<&2, Segment>:
5540  match lines:
5541    case Nil{}: Nil{}
5542    case line <> tail: plain(line) <> pad_lines(tail, col)

Uses (6)

Used by (1)

cli@0.2.0.0/cli:row_form