Cli.help.arg_lines: def of shake@0.8.0.0
Import: import shake@0.8.0.0/src/cli.bend as Cli
Lines 1975-1981 of shake@0.8.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.8.0.0/src/cli.bend&start_line=1975&end_line=1981

import Base

# Arguments lines, skipping flags and options
def help.arg_lines(args: List<&2, Arg>, +ww: Nat) -> String:
  match args:
    case Nil{}:
      ""
    case Con{+h, t}:
      help.arg_lines.at(pos.is(h), h, help.arg_lines(t, ww), ww)

Uses (6):
  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=shake@0.8.0.0/src/cli.bend&name=Arg
  https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=help.arg_lines.at
  https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=pos.is