def AaPerms.minus
import bend-osdev-apparmor@0.1.0.0/perm.bend as Permimport Base
101def AaPerms.minus(a: AaPerms, b: AaPerms) -> AaPerms:
102 match a b:
103 case AaPerms{x} AaPerms{y}:
104 AaPerms{AaBits.minus(x, y)}
import bend-osdev-apparmor@0.1.0.0/perm.bend as Permimport Base
101def AaPerms.minus(a: AaPerms, b: AaPerms) -> AaPerms:
102 match a b:
103 case AaPerms{x} AaPerms{y}:
104 AaPerms{AaBits.minus(x, y)}