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

import Base

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

Uses (9):
  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=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