def AaQ.stage

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

import Base

985def AaQ.stage(k: Nat) -> Nat:
986  match k:
987    case 0n:
988      0n
989    case 1n+k1:
990      match k1:
991        case 0n:
992          1n
993        case 1n+k2:
994          match k2:
995            case 0n:
996              2n
997            case 1n+k3:
998              match k3:
999                case 0n:
1000                  2n
1001                case 1n+k4:
1002                  3n