def usage_block

cli@0.2.0.0 · cli.bend:5303

import cli@0.2.0.0/cli.bend as Cli

import Base

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

Uses (8)

Used by (3)