def AaBits.covers

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

import Base

41# every bit of r is in a
42def AaBits.covers(a: List<&2, Bool>, r: List<&2, Bool>) -> Bool:
43  match a r:
44    case _ Nil{}:
45      True{}
46    case Nil{} Con{y, ys}:
47      Bool.not(AaBits.any(Con{y, ys}))
48    case Con{x, xs} Con{y, ys}:
49      Bool.and(Bool.or(x, Bool.not(y)), AaBits.covers(xs, ys))