RuleFile.AaFile.rooted.go: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule_file.bend as RuleFile
Lines 344-358 of bend-osdev-apparmor@0.1.0.0/rule_file.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&start_line=344&end_line=358

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G

# every alternative of a rule's pattern starts with '/'
def AaFile.rooted.go(alts: List<&2, List<&2, G.AaGTok>>) -> Bool:
  match alts:
    case Nil{}:
      True{}
    case Con{a, t}:
      match a:
        case Nil{}:
          False{}
        case Con{tok, r}:
          match tok:
            case G.AaGChar{c}:
              Bool.and(U32.is_eq(c, 47), AaFile.rooted.go(t))
            case _:
              False{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGTok