def AaCap.member

bend-osdev-apparmor@0.1.0.0 · rule_capability.bend:96

import Base

96def AaCap.member(ks: List<&2, U32>, +k: U32) -> Bool:
97  match ks:
98    case Nil{}:
99      False{}
100    case Con{h, t}:
101      Bool.or(U32.is_eq(h, k), AaCap.member(t, k))