def dead_required

cli@0.2.0.0 · cli.bend:2282

import Base

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