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

import Base

# has_pos: whether items has a positional.
def command_body_issues(+at: String, name: String, about: String,
    +items: List<&2, Item>, has_pos: Bool) -> List<&2, Problem>:
  List.concat(&2, Problem, [
    when_problem(Bool.and(String.is_empty(about),
      Bool.not(has_hidden(items))), NoHelp{at, name}),
    when_problem(Bool.and(has_pos, has_sub_item(items)), Mixed{at}),
    missing_refs(scope_group_rules(items), scope_groups(items), at),
    missing_refs(scope_groups(items), scope_group_rules(items), at),
    dead_required(needs_sub(items), items, at),
  ])

Uses (17):
  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=List.concat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  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=Problem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=dead_required
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_hidden
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_sub_item
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=missing_refs
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=needs_sub
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scope_group_rules
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scope_groups
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=when_problem