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