Cli.help.opt_lines: def of shake@0.8.0.0
Import: import shake@0.8.0.0/src/cli.bend as Cli
Lines 1869-1875 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=1869&end_line=1875

import Base

# option lines, skipping positionals
def help.opt_lines(args: List<&2, Arg>, +ww: Nat) -> String:
  match args:
    case Nil{}:
      ""
    case Con{+h, t}:
      help.opt_lines.at(pos.is(h), h, help.opt_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.opt_lines.at
  https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=pos.is