Cli.dead_required_items: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2271-2280 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2271&end_line=2280 import Base def dead_required_items(items: List<&2, Item>, +at: String) -> List<&2, Problem>: match items: case Nil{}: Nil{} case Arg{usage, help, +attrs} <> tail: List.append(&2, Problem, dead_required_arg(Bool.or(has_global(attrs), Bool.not(has_required(attrs))), usage, attrs, at), dead_required_items(tail, at)) case head <> tail: dead_required_items(tail, at) Uses (10): 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=List.append 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=Problem https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=dead_required_arg https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_global https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_required