def AaGNfa.alive

bend-osdev-apparmor@0.1.0.0 · glob.bend:172

import Base

172# some position is active
173def AaGNfa.alive(bs: List<&2, Bool>) -> Bool:
174  match bs:
175    case Nil{}:
176      False{}
177    case Con{b, t}:
178      Bool.or(b, AaGNfa.alive(t))