def AaPerms.covers

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

import Base

111def AaPerms.covers(a: AaPerms, r: AaPerms) -> Bool:
112  match a r:
113    case AaPerms{x} AaPerms{y}:
114      AaBits.covers(x, y)