def bits.or_nil_r

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

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

3216def bits.or_nil_r(+a: List<&2, Bool>) -> {P.AaBits.or(a, Nil{}) == a : List<&2, Bool>}:
3217  match a:
3218    case Nil{}:
3219      {==}
3220    case Con{x, xs}:
3221      {==}