~/jendhub

def pm.minus_meets

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:3234

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

3234def pm.minus_meets(+a: P.AaPerms, +d: P.AaPerms) -> {P.AaPerms.meets(P.AaPerms.minus(a, d), d) == False{} : Bool}:
3235  match a:
3236    case P.AaPerms{x}:
3237      match d:
3238        case P.AaPerms{y}:
3239          bits.minus_meets(x, y)

Uses (5)

Used by (1)