~/jendhub

def has_sub_optional

cli@0.2.0.0 · cli.bend:2229

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

2229def has_sub_optional(items: List<&2, Item>) -> Bool:
2230  match items:
2231    case Nil{}: False{}
2232    case SubOptional{} <> tail: True{}
2233    case head <> tail: has_sub_optional(tail)

Uses (3)

Used by (1)