Parse.AaParse.dispatch: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
Lines 1158-1207 of bend-osdev-apparmor@0.1.0.0/parse.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&start_line=1158&end_line=1207

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P
import bend-osdev-apparmor@0.1.0.0/token.bend as T
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR
import bend-osdev-apparmor@0.1.0.0/rule_file.bend as F
import bend-osdev-apparmor@0.1.0.0/rule_capability.bend as RC
import bend-osdev-apparmor@0.1.0.0/rule_network.bend as RN
import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RS
import bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend as RP
import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RM
import bend-osdev-apparmor@0.1.0.0/rule_dbus.bend as RD
import bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend as RX

def AaParse.dispatch(k: Nat, +t: T.AaTerm, +rest: List<&2, T.AaTerm>, +q: P.AaQual, +als: List<&2, AaAlias>, +src: E.AaSrc) -> Result<&2, &2, E.AaError, PR.AaRules>:
  match k:
    case 0n:
      AaParse.wrap.file(F.AaFile.parse(Con{t, rest}, q, src), als)
    case 1n+k1:
      match k1:
        case 0n:
          AaParse.wrap.cap(RC.AaCap.parse(rest, q, src))
        case 1n+k2:
          match k2:
            case 0n:
              AaParse.wrap.net(RN.AaNet.parse(rest, q, src))
            case 1n+k3:
              match k3:
                case 0n:
                  AaParse.wrap.signal(RS.AaSignal.parse(rest, q, src))
                case 1n+k4:
                  match k4:
                    case 0n:
                      AaParse.wrap.ptrace(RP.AaPtrace.parse(rest, q, src))
                    case 1n+k5:
                      match k5:
                        case 0n:
                          AaParse.wrap.mount(RM.AaMount.parse(RM.AaMountOpMount{}, rest, q, src))
                        case 1n+k6:
                          match k6:
                            case 0n:
                              AaParse.wrap.mount(RM.AaMount.parse(RM.AaMountOpRemount{}, rest, q, src))
                            case 1n+k7:
                              match k7:
                                case 0n:
                                  AaParse.wrap.mount(RM.AaMount.parse(RM.AaMountOpUmount{}, rest, q, src))
                                case 1n+k8:
                                  match k8:
                                    case 0n:
                                      AaParse.wrap.dbus(RD.AaDbus.parse(rest, q, src))
                                    case 1n+k9:
                                      match k9:
                                        case 0n:
                                          AaParse.wrap.change(RX.AaChange.parse(rest, q, src))
                                        case 1n+k10:
                                          match k10:
                                            case 0n:
                                              AaParse.wrap.file(F.AaFile.parse(rest, q, src), als)
                                            case 1n+k11:
                                              match k11:
                                                case 0n:
                                                  Fail{E.AaSrc.unsupported(src)}
                                                case 1n+k12:
                                                  Fail{E.AaSrc.preamble(src)}

Uses (28):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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.preamble
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/error.bend&name=AaSrc.unsupported
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaAlias
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.cap
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.change
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.dbus
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.file
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.mount
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.net
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.ptrace
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaParse.wrap.signal
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/perm.bend&name=AaQual
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/profile.bend&name=AaRules
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_capability.bend&name=AaCap.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend&name=AaChange.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_dbus.bend&name=AaDbus.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaFile.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMount.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_mount.bend&name=AaMountOp
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_network.bend&name=AaNet.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend&name=AaPtrace.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_signal.bend&name=AaSignal.parse
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaTerm