def wrap_lines

cli@0.2.0.0 · cli.bend:1044

import cli@0.2.0.0/cli.bend as Cli

import Base

1044def wrap_lines(lines: List<&2, String>, +cols: Nat) -> List<&2, String>:
1045  match lines:
1046    case Nil{}:
1047      Nil{}
1048    case head <> tail:
1049      wrap_line(head, cols) <> wrap_lines(tail, cols)

Uses (4)

Used by (1)

cli@0.2.0.0/cli:wrap