def list_member

bend-prot@0.1.0.0 · bonded.bend:158

import Base

158def list_member(+x: U32, ys: List<&2, U32>) -> Bool:
159  match ys:
160    case Nil{}:
161      False{}
162    case h <> t:
163      Bool.or(U32.is_eq(x, h), list_member(x, t))