def proxy.no.list
import bend-kit-http@0.38.2.0/http.bend as Httpimport Base
3057def proxy.no.list(xs: List<&2, String>, +host: String, +port: U32) -> Bool:
3058 match xs:
3059 case Nil{}:
3060 False{}
3061 case Con{token, rest}:
3062 Bool.or(proxy.no.token(host, port, token), proxy.no.list(rest, host, port))