~/jendhub

def wrap_line

cli@0.2.0.0 · cli.bend:1038

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

1038def wrap_line(+line: String, cols: Nat) -> String:
1039  +indent = leading_indent(line)
1040  body = String.drop(line, String.length(indent))
1041  parts = words(body)
1042  wrap_words(parts, WrapState{indent, cols, indent, False{}, Nil{}})

Uses (10)

Used by (1)