Shake.err_path: def of shake@0.7.0.0
Import: import shake@0.7.0.0/main.bend as Shake
Lines 242-262 of shake@0.7.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/main.bend&start_line=242&end_line=262

import Base
import shake@0.7.0.0/src/cli.bend as S

# the command path where the parse failed: the path selected when it did, or
# for a request for help the path it asks about; the root for a request for
# the version
def err_path(err: S.ParseErr) -> List<&2, String>:
  match err:
    case S.UnknownFlag{at, _flag}:
      at
    case S.Missing{at, _name}:
      at
    case S.NoValue{at, _name}:
      at
    case S.BadValue{at, _name, _value}:
      at
    case S.NeedHelp{path}:
      path
    case S.Unexpected{at, _arg}:
      at
    case S.Repeated{at, _name}:
      at
    case S.NeedVersion{}:
      []

Uses (3):
  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=shake@0.7.0.0/src/cli.bend&name=ParseErr