Args.asks_help: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/args.bend as Args
Lines 53-60 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=53&end_line=60

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

# whether `--help` stands among the words before the first `--` (after it,
# every word is a file); the search stops at either
def asks_help(ws: List<&2, String>) -> Bool:
  match ws:
    case Nil{}:
      False{}
    case Con{+ww, rest}:
      Lazy.and_then(Bool.not(String.eq(ww, "--")), _u => Lazy.or_else(String.eq(ww, "--help"), _v => asks_help(rest)))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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/lazy/lazy.bend&name=and_then
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=or_else