Transitions.AaXPick.choose: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 210-217 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=210&end_line=217

import Base

def AaXPick.choose(lit: AaXPick, pat: AaXPick) -> AaXPick:
  match lit:
    case AaXNone{}:
      pat
    case AaXOne{x}:
      AaXOne{x}
    case AaXClash{}:
      AaXClash{}

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