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

import Base

def required_options(items: List<&2, Item>) -> List<&2, Segment>:
  match items:
    case Nil{}: Nil{}
    case Arg{+usage, help, +attrs} <> tail:
      List.append(&2, Segment,
        required_elem(Bool.and(Bool.not(arg_pos(usage)), has_required(attrs)),
          usage, attrs),
        required_options(tail))
    case head <> tail: required_options(tail)

Uses (9):
  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=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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=Segment
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_pos
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=has_required
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=required_elem