def sub_alias_issue
import cli@0.2.0.0/cli.bend as Cliimport Base
1886def sub_alias_issue(+name: String, +at: String,
1887 seen: List<&2, Seen>) -> List<&2, Problem>:
1888 Bool.pick(List<&2, Problem>, valid_command_name(name),
1889 Bool.pick(List<&2, Problem>, String.eq(name, "help"),
1890 [Reserved{at, name}],
1891 when_problem(sub_collision(seen, name), Dup{at, name})),
1892 [BadName{at, name}])