def ce.has
import bend-kit-http@0.38.4.0/http.bend as Httpimport Base
4212def ce.has(xs: List<&2, String>, +c: String) -> Bool:
4213 match xs:
4214 case Nil{}:
4215 False{}
4216 case Con{x, t}:
4217 Bool.or(String.eq(c, x), ce.has(t, c))