def AaBits.meets

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

import Base

51# some bit is in both
52def AaBits.meets(a: List<&2, Bool>, b: List<&2, Bool>) -> Bool:
53  match a b:
54    case Nil{} _:
55      False{}
56    case Con{x, xs} Nil{}:
57      False{}
58    case Con{x, xs} Con{y, ys}:
59      Bool.or(Bool.and(x, y), AaBits.meets(xs, ys))