def has_global

cli@0.2.0.0 · cli.bend:1870

import Base

1870def has_global(items: List<&2, Item>) -> Bool:
1871  match items:
1872    case Nil{}: False{}
1873    case Global{} <> tail: True{}
1874    case head <> tail: has_global(tail)