def has_hidden

cli@0.2.0.0 · cli.bend:1587

import Base

1587def has_hidden(items: List<&2, Item>) -> Bool:
1588  match items:
1589    case Nil{}: False{}
1590    case Hidden{} <> tail: True{}
1591    case head <> tail: has_hidden(tail)