def pad_lines

cli@0.2.0.0 · cli.bend:5534

import cli@0.2.0.0/cli.bend as Cli

import Base

5534def pad_lines(lines: List<&2, String>, +col: Nat) -> List<&2, Segment>:
5535  match lines:
5536    case Nil{}: Nil{}
5537    case line <> tail: plain(pad_line(line, col)) <> pad_lines(tail, col)

Uses (6)

Used by (2)