Transitions.AaAttach.rank: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 97-104 of bend-osdev-apparmor@0.1.0.0/transitions.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&start_line=97&end_line=104

import Base

def AaAttach.rank(a: AaAttach) -> U32:
  match a:
    case AaAttachNone{}:
      0
    case AaAttachOne{n, r}:
      r
    case AaAttachTie{r}:
      r

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaAttach