def scope_builtin_known

cli@0.2.0.0 · cli.bend:2955

import Base

2955def scope_builtin_known(scope: Scope, +token: String) -> Bool:
2956  match scope:
2957    case Scope{path, Spec{keys, args, slots, variadic, subs, has_sub,
2958        external, needs_sub, version, digit_short, inherit}}:
2959      +name = first_option_name(token)
2960      Bool.or(String.eq(name, "-h"),
2961        Bool.or(String.eq(name, "--help"),
2962          Bool.and(List.is_empty(&2, String, path),
2963            Bool.and(version,
2964              Bool.or(String.eq(name, "-V"),
2965                String.eq(name, "--version"))))))