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

import Base

# Whether each arg items put in group name is global().
def group_global(items: List<&2, Item>, +name: String) -> Bool:
  match items:
    case Nil{}: True{}
    case Arg{usage, help, +attrs} <> tail:
      Bool.and(Bool.or(Bool.not(arg_in_group(attrs, name)), has_global(attrs)),
        group_global(tail, name))
    case head <> tail: group_global(tail, name)

Uses (9):
  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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_in_group
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_global