def fetch_dash_allowed
import cli@0.2.0.0/cli.bend as Cliimport Base
3155# Whether info's value may be token, which starts with "-".
3156def fetch_dash_allowed(scope: Scope, +info: ArgInfo,
3157 +token: String) -> Bool:
3158 Bool.and(Bool.not(String.eq(token, "--")),
3159 Bool.or(String.eq(token, "-"),
3160 Bool.or(arg_has_hyphen(info),
3161 Bool.and(arg_is_f32(info),
3162 Bool.and(is_negative_number(token),
3163 Bool.not(scope_digit_short(scope)))))))