Cli.short_help: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 973-979 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=973&end_line=979

import Base

# whether a short option word is a request for help: `-h` alone, before any
# positional of the current command is bound, when the command spells
# neither `-h` nor `--help`
def short_help(+body: String, +args: List<&2, Arg>, seen: Bool) -> Bool:
  Bool.and(String.eq(body, "h"),
    Bool.and(Bool.not(seen),
      Bool.and(Maybe.is_none(&2, Arg, by_short(args, "h")), Maybe.is_none(&2, Arg, by_long(args, "help")))))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=Maybe.is_none
  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=shake@0.7.0.0/src/cli.bend&name=Arg
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=by_long
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=by_short