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

import Base

def sub_name_issues(+at: String, +name: String,
    seen: List<&2, Seen>) -> List<&2, Problem>:
  List.append(&2, Problem,
    when_problem(Bool.not(valid_command_name(name)), BadName{at, name}),
    Bool.pick(List<&2, Problem>, String.eq(name, "help"),
      [Reserved{at, name}],
      when_problem(sub_collision(seen, name), Dup{at, name})))

Uses (11):
  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.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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=Problem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Seen
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sub_collision
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=valid_command_name
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=when_problem