Transitions.AaXPick: type of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 197-201 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=197&end_line=201

import Base

# the selection the list agrees on: None for an empty list, a conflict otherwise
type AaXPick is Data:
  AaXNone{}
  AaXOne{sel: AaXSel}
  AaXClash{}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaXSel