Parse.AaQ.add: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
Lines 1004-1023 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=1004&end_line=1023

import Base

def AaQ.add(q: AaBQ, k: Nat) -> AaBQ:
  match q:
    case AaBQ{a, c, o}:
      match k:
        case 0n:
          AaBQ{a, c, o}
        case 1n+k1:
          match k1:
            case 0n:
              AaBQ{True{}, c, o}
            case 1n+k2:
              match k2:
                case 0n:
                  AaBQ{a, 1n, o}
                case 1n+k3:
                  match k3:
                    case 0n:
                      AaBQ{a, 2n, o}
                    case 1n+k4:
                      AaBQ{a, c, True{}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/parse.bend&name=AaBQ