def AaAcc.join

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

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P

78# two accumulations together: each set the union
79def AaAcc.join(a: AaAcc, b: AaAcc) -> AaAcc:
80  match a b:
81    case AaAcc{al, de, au, qu} AaAcc{al2, de2, au2, qu2}:
82      AaAcc{P.AaPerms.union(al, al2), P.AaPerms.union(de, de2), P.AaPerms.union(au, au2), P.AaPerms.union(qu, qu2)}