Cli.command_attr_name: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 1551-1579 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=1551&end_line=1579 import Base def command_attr_name(attr: Item, root: Bool) -> Maybe<&2, String>: match attr: case Arg{usage, help, attrs}: None{} case Sub{name, about, children}: None{} case Version{value}: bad_attr(Bool.not(root), "version") case Alias{name}: bad_attr(root, "alias") case Hidden{}: bad_attr(root, "hidden") case Example{line, what}: None{} case After{text}: None{} case SubOptional{}: None{} case External{}: None{} case Exclusive{group}: None{} case NeedOne{group}: None{} case Id{value}: Some{"id"} case Required{}: Some{"required"} case AttrDefault{value}: Some{"default"} case AttrEnv{name}: Some{"env"} case Global{}: Some{"global"} case Heading{title}: Some{"heading"} case As{t}: Some{type_name(t)} case OneOf{values}: Some{"one_of"} case Delim{sep}: Some{"delim"} case Hyphen{}: Some{"hyphen"} case Rest{}: Some{"rest"} case Bare{value}: Some{"bare"} case Conflicts{id}: Some{"conflicts"} case Requires{id}: Some{"requires"} case Group{name}: Some{"group"} case Builtin{}: None{} Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe 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=bad_attr https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=type_name