def member
import bend-toon-codec@0.1.0.0/src/fold.bend as Foldimport 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)
import bend-toon-codec@0.1.0.0/src/fold.bend as Foldimport 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)