~/jendhub

def pad_line

cli@0.2.0.0 · cli.bend:5528

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

5528def pad_line(line: String, col: Nat) -> String:
5529  match line:
5530    case SNil{}: "\n"
5531    case SCon{head, tail}:
5532      String.concat(["\n", String.repeat(" ", col), SCon{head, tail}])

Uses (5)

Used by (1)