def AaPerms.has

bend-osdev-apparmor@0.1.0.0 · perm.bend:121

import Base

121def AaPerms.has(a: AaPerms, i: Nat) -> Bool:
122  match a:
123    case AaPerms{x}:
124      AaBits.has(x, i)