def AaQ.add

bend-osdev-apparmor@0.1.0.0 · parse.bend:1004

import Base

1004def AaQ.add(q: AaBQ, k: Nat) -> AaBQ:
1005  match q:
1006    case AaBQ{a, c, o}:
1007      match k:
1008        case 0n:
1009          AaBQ{a, c, o}
1010        case 1n+k1:
1011          match k1:
1012            case 0n:
1013              AaBQ{True{}, c, o}
1014            case 1n+k2:
1015              match k2:
1016                case 0n:
1017                  AaBQ{a, 1n, o}
1018                case 1n+k3:
1019                  match k3:
1020                    case 0n:
1021                      AaBQ{a, 2n, o}
1022                    case 1n+k4:
1023                      AaBQ{a, c, True{}}