Cli.has_global: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 1870-1874 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=1870&end_line=1874 import Base def has_global(items: List<&2, Item>) -> Bool: match items: case Nil{}: False{} case Global{} <> tail: True{} case head <> tail: has_global(tail) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item