def member

bend-toon-codec@0.1.0.0 · src/fold.bend:45

import bend-toon-codec@0.1.0.0/src/fold.bend as Fold
import Base

45def member(+k: String, +ks: List<&2, String>) -> Bool:
46  match ks:
47    case Nil{}:
48      False{}
49    case Con{h, t}:
50      String.eq(k, h) || member(k, t)

Uses (5)

Used by (1)