Rule.AaRule.one.go: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/rule.bend as Rule
Lines 32-41 of bend-osdev-apparmor@0.1.0.0/rule.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/rule.bend&start_line=32&end_line=41

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G
import bend-osdev-apparmor@0.1.0.0/token.bend as T
import bend-osdev-apparmor@0.1.0.0/error.bend as E

def AaRule.one.go(xs: List<&2, T.AaTerm>, +src: E.AaSrc) -> Result<&2, &2, E.AaError, G.AaGlob>:
  match xs:
    case Nil{}:
      Fail{E.AaSrc.syntax(src)}
    case Con{x, rest}:
      match rest:
        case Nil{}:
          AaRule.glob(x, src)
        case Con{y, more}:
          Fail{E.AaSrc.syntax(src)}

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/error.bend&name=AaError
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/error.bend&name=AaSrc
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/error.bend&name=AaSrc.syntax
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/glob.bend&name=AaGlob
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule.bend&name=AaRule.glob
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaTerm