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

import Base

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

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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=Problem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=UsageKind
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=bad_default
  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=value_issue