def AaParse.seen
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parseimport Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X
368# the file is already included in the innermost block
369def AaParse.seen(scopes: List<&2, List<&2, List<&2, U32>>>, +name: List<&2, U32>) -> Bool:
370 match scopes:
371 case Nil{}:
372 False{}
373 case Con{s, t}:
374 X.AaText.member(s, name)