Cli.wrap_line: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 1038-1042 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=1038&end_line=1042

import Base

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

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=WrapState
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=leading_indent
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=words
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=wrap_words