def AaText.has

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

import Base

110def AaText.has(xs: List<&2, U32>, +c: U32) -> Bool:
111  match xs:
112    case Nil{}:
113      False{}
114    case Con{h, t}:
115      Bool.or(U32.is_eq(h, c), AaText.has(t, c))