def has_required

cli@0.2.0.0 · cli.bend:1605

import cli@0.2.0.0/cli.bend as Cli

import Base

1605def has_required(items: List<&2, Item>) -> Bool:
1606  match items:
1607    case Nil{}: False{}
1608    case Required{} <> tail: True{}
1609    case head <> tail: has_required(tail)

Uses (3)

Used by (6)