Transitions.AaXSel.eq: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/transitions.bend as Transitions
Lines 148-151 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=148&end_line=151

import Base
import bend-osdev-apparmor@0.1.0.0/rule_file.bend as F

def AaXSel.eq(a: AaXSel, b: AaXSel) -> Bool:
  match a b:
    case AaXSel{m1, t1} AaXSel{m2, t2}:
      Bool.and(F.AaXMode.eq(m1, m2), AaXSel.target_eq(t1, t2))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/rule_file.bend&name=AaXMode.eq
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaXSel
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/transitions.bend&name=AaXSel.target_eq