def arg_required_missing

cli@0.2.0.0 · cli.bend:3964

import cli@0.2.0.0/cli.bend as Cli

import Base

3964def arg_required_missing(info: ArgInfo,
3965    +fields: List<&2, Field>) -> Bool:
3966  match info:
3967    case ArgInfo{+id, usage, short, long, kind, attrs}:
3968      Bool.or(Bool.and(has_required(attrs),
3969        Bool.not(field_given(fields, id))),
3970        Bool.and(kind_required_pos(kind),
3971          Bool.not(field_present(fields, id))))

Uses (11)

Used by (1)

cli@0.2.0.0/cli:missing_arg