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

import Base

def spec_digit_short(items: List<&2, SpecItem>) -> Bool:
  match items:
    case Nil{}: False{}
    case SpecArg{info} <> tail:
      Bool.or(info_digit_short(info), spec_digit_short(tail))
    case head <> tail: spec_digit_short(tail)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=SpecItem
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=info_digit_short