def has_plain_option

cli@0.2.0.0 · cli.bend:5201

import cli@0.2.0.0/cli.bend as Cli

import Base

5201def has_plain_option(items: List<&2, Item>) -> Bool:
5202  match items:
5203    case Nil{}: False{}
5204    case Arg{usage, help, +attrs} <> tail:
5205      Bool.or(Bool.and(Bool.not(arg_pos(usage)),
5206        Bool.and(Bool.not(has_hidden(attrs)), Bool.not(has_required(attrs)))),
5207        has_plain_option(tail))
5208    case head <> tail: has_plain_option(tail)

Uses (9)

Used by (1)

cli@0.2.0.0/cli:usage_elems