def AaXMode.eq

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:78

import Base

78def AaXMode.eq(a: AaXMode, b: AaXMode) -> Bool:
79  match a b:
80    case AaXIx{} AaXIx{}:
81      True{}
82    case AaXUx{s} AaXUx{t}:
83      Bool.not(Bool.xor(s, t))
84    case AaXPx{s, f} AaXPx{t, g}:
85      Bool.and(Bool.not(Bool.xor(s, t)), AaXFallback.eq(f, g))
86    case AaXCx{s, f} AaXCx{t, g}:
87      Bool.and(Bool.not(Bool.xor(s, t)), AaXFallback.eq(f, g))
88    case _ _:
89      False{}