def AaText.member

bend-osdev-apparmor@0.1.0.0 · text.bend:143

import Base

143# x is one of the names xs
144def AaText.member(xs: List<&2, List<&2, U32>>, +x: List<&2, U32>) -> Bool:
145  match xs:
146    case Nil{}:
147      False{}
148    case Con{h, t}:
149      Bool.or(AaText.eq(h, x), AaText.member(t, x))