~/jendhub

def spec_digit_short

cli@0.2.0.0 · cli.bend:2828

import cli@0.2.0.0/cli.bend as Cli
import Base

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

Uses (5)

Used by (1)