Glob.AaGSeq.matches: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/glob.bend as Glob
Lines 67-100 of bend-osdev-apparmor@0.1.0.0/glob.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&start_line=67&end_line=100

import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X

def AaGSeq.matches(+seq: List<&2, AaGTok>, s: List<&2, U32>) -> Bool:
  match seq:
    case Nil{}:
      X.AaText.is_nil(s)
    case Con{AaGChar{c}, r}:
      match s:
        case Nil{}:
          False{}
        case Con{h, t}:
          Bool.and(U32.is_eq(h, c), AaGSeq.matches(r, t))
    case Con{AaGAny{}, r}:
      match s:
        case Nil{}:
          False{}
        case Con{h, t}:
          Bool.and(U32.is_ne(h, 47), AaGSeq.matches(r, t))
    case Con{AaGClass{neg, rs}, r}:
      match s:
        case Nil{}:
          False{}
        case Con{h, t}:
          Bool.and(AaGClass.has(neg, rs, h), AaGSeq.matches(r, t))
    case Con{AaGStar{}, r}:
      match s:
        case Nil{}:
          AaGSeq.matches(r, Nil{})
        case Con{+h, +t}:
          Bool.or(AaGSeq.matches(r, Con{h, t}), Bool.and(U32.is_ne(h, 47), AaGSeq.matches(seq, t)))
    case Con{AaGStar2{}, r}:
      match s:
        case Nil{}:
          AaGSeq.matches(r, Nil{})
        case Con{+h, +t}:
          Bool.or(AaGSeq.matches(r, Con{h, t}), AaGSeq.matches(seq, t))

Uses (10):
  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=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_ne
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGClass.has
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGTok
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/text.bend&name=AaText.is_nil