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

import Base

# A command that needs a subcommand passes down only its global options'
# values (§8.4), so another option's required() can never be met.
def dead_required(dead: Bool, items: List<&2, Item>, +at: String) ->
    List<&2, Problem>:
  match dead:
    case True{}: dead_required_items(items, at)
    case False{}: Nil{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=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_items