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

import Base

# Whether info's value may be token, which starts with "-".
def fetch_dash_allowed(scope: Scope, +info: ArgInfo,
    +token: String) -> Bool:
  Bool.and(Bool.not(String.eq(token, "--")),
    Bool.or(String.eq(token, "-"),
      Bool.or(arg_has_hyphen(info),
        Bool.and(arg_is_f32(info),
          Bool.and(is_negative_number(token),
            Bool.not(scope_digit_short(scope)))))))

Uses (12):
  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=Bool.or
  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=cli@0.2.0.0/cli.bend&name=ArgInfo
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Scope
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_has_hyphen
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_is_f32
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=is_negative_number
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scope_digit_short