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

import Base

# E12: a decoder's Usage message as an error at the matched scope, printed
# as given, in stderr's colors.
def usage_err(t: Term, msg: String, view: View) -> String:
  match t view:
    case Term{out_color, err_color, width}
        View{here, about, items, globals, root, stuck}:
      emit(err_color, error_page([plain(msg)], [],
        usage_block(usage_elems(here, items, globals), page_width(width))))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Term
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=View
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=emit
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=error_page
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=page_width
  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_block
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=usage_elems