def has_external

cli@0.2.0.0 · cli.bend:2223

import cli@0.2.0.0/cli.bend as Cli

import Base

2223def has_external(items: List<&2, Item>) -> Bool:
2224  match items:
2225    case Nil{}: False{}
2226    case External{} <> tail: True{}
2227    case head <> tail: has_external(tail)

Uses (3)

Used by (2)