def AaBits.any

bend-osdev-apparmor@0.1.0.0 · perm.bend:33

import Base

33# some bit is set
34def AaBits.any(a: List<&2, Bool>) -> Bool:
35  match a:
36    case Nil{}:
37      False{}
38    case Con{x, xs}:
39      Bool.or(x, AaBits.any(xs))