def AaBQ.qual

bend-osdev-apparmor@0.1.0.0 · parse.bend:1048

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

1048def AaBQ.qual(q: AaBQ) -> P.AaQual:
1049  match q:
1050    case AaBQ{a, c, o}:
1051      P.AaQual{a, Nat.is_eq(c, 2n), o}