Args.help_path: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/args.bend as Args
Lines 62-70 of bolt@1.27.0.0/src/args.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/args.bend&start_line=62&end_line=70

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy

# the command path `--help` asks about: the first word other than `--help`,
# when it names a subcommand, else the root's
def help_path(ws: List<&2, String>) -> List<&2, String>:
  match ws:
    case Nil{}:
      Nil{}
    case Con{+ww, rest}:
      Lazy.either(List<&2, String>, String.eq(ww, "--help"), _u => help_path(rest),
        _u => Bool.pick(List<&2, String>, is_cmd(ww), [ww], []))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  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=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/args.bend&name=is_cmd
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=either