Cli.bare_issue: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2165-2172 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2165&end_line=2172 import Base def bare_issue(+kind: UsageKind, id: String, short: String, +attrs: List<&2, Item>, at: String) -> List<&2, Problem>: +bare_kind = kind_bare(kind) +has = has_bare(attrs) when_problem(Bool.or( Bool.and(bare_kind, Bool.or(Bool.not(has), Bool.not(String.is_empty(short)))), Bool.and(Bool.not(bare_kind), has)), NeedBare{at, id}) Uses (12): 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=Bool.or 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.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=UsageKind https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_bare https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_bare https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=when_problem