def any_short

cli@0.2.0.0 · cli.bend:5514

import cli@0.2.0.0/cli.bend as Cli

import Base

5514def any_short(rows: List<&2, Row>) -> Bool:
5515  match rows:
5516    case Nil{}: False{}
5517    case row <> tail: Bool.or(row_short(row), any_short(tail))

Uses (5)

Used by (1)

cli@0.2.0.0/cli:sections_blocks