def AaGlob.model.go
import bend-osdev-apparmor@0.1.0.0/glob.bend as Globimport Base
357def AaGlob.model.go(alts: List<&2, List<&2, AaGTok>>, +s: List<&2, U32>) -> Bool:
358 match alts:
359 case Nil{}:
360 False{}
361 case Con{a, t}:
362 Bool.or(AaGSeq.model(a, s), AaGlob.model.go(t, s))