def AaVars.name_ok
import bend-osdev-apparmor@0.1.0.0/parse.bend as Parseimport Base
import bend-osdev-apparmor@0.1.0.0/token.bend as T
500def AaVars.name_ok(xs: List<&2, U32>) -> Bool:
501 match xs:
502 case Nil{}:
503 False{}
504 case Con{+h, t}:
505 Bool.and(T.AaTerm.letter(h), AaVars.name_ok.go(t))