def AaVars.has_ref
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
724# a reference remains: an at sign before an opening brace
725def AaVars.has_ref(xs: List<&2, U32>) -> Bool:
726 match xs:
727 case Nil{}:
728 False{}
729 case Con{+h, +t}:
730 Bool.or(Bool.and(U32.is_eq(h, 64), U32.is_eq(X.AaText.head(t), 123)), AaVars.has_ref(t))