def check_default

cli@0.2.0.0 · cli.bend:2116

import cli@0.2.0.0/cli.bend as Cli

import Base

2116def check_default(found: Maybe<&2, String>, kind: UsageKind,
2117    +attrs: List<&2, Item>, id: String, at: String) -> List<&2, Problem>:
2118  match found:
2119    case None{}:
2120      Nil{}
2121    case Some{+value}:
2122      bad_default(has_required(attrs), value_issue(kind, attrs, value),
2123        value, id, at)

Uses (9)

Used by (1)

cli@0.2.0.0/cli:arg_issues