def AaBits.minus

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

import Base

23# a without b
24def AaBits.minus(a: List<&2, Bool>, b: List<&2, Bool>) -> List<&2, Bool>:
25  match a b:
26    case Nil{} _:
27      Nil{}
28    case Con{x, xs} Nil{}:
29      Con{x, xs}
30    case Con{x, xs} Con{y, ys}:
31      Con{Bool.and(x, Bool.not(y)), AaBits.minus(xs, ys)}