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

import Base

def usage_block(elems: List<&2, Segment>, w: Nat) -> List<&2, Segment>:
  match elems:
    case Nil{}: [Segment{"Usage:", [Bold{}, Under{}]}]
    case Segment{+text, styles} <> tail:
      Segment{"Usage:", [Bold{}, Under{}]} <> plain(" ") <>
        Segment{text, styles} <> usage_rest(tail, w, (7n + width(text) : Nat))

Uses (8):
  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=Nat.add
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Segment
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Style
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=plain
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=usage_rest
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=width