def pm.covers_meets

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

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

3225def pm.covers_meets(+a: P.AaPerms, +d: P.AaPerms, +r: P.AaPerms) -> {Bool.and(P.AaPerms.covers(P.AaPerms.minus(a, d), r), P.AaPerms.meets(r, d)) == False{} : Bool}:
3226  match a:
3227    case P.AaPerms{x}:
3228      match d:
3229        case P.AaPerms{y}:
3230          match r:
3231            case P.AaPerms{z}:
3232              bits.covers_meets(x, y, z)