def AaPerms.add

import bend-osdev-apparmor@0.1.0.0/perm.bend as Perm

import Base

126def AaPerms.add(a: AaPerms, i: Nat) -> AaPerms:
127  AaPerms.union(a, AaPerms.bit(i))

Uses (4)