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

import Base

def fault_view(view: View, +fault: ScanFault, c: Cmd, path: List<&2, String>,
    argv: List<&2, String>, w: Nat) -> List<&2, Segment>:
  match view:
    case View{+here, about, +items, +globals, root, stuck}:
      error_page(fault_message(fault, here, items),
        fault_tips(fault, c, path, argv, here, items, globals),
        usage_block(usage_elems(here, items, globals), w))

Uses (12):
  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=cli@0.2.0.0/cli.bend&name=Cmd
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ScanFault
  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=View
  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=fault_message
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=fault_tips
  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