def ce.known
import bend-kit-http@0.38.2.0/http.bend as Httpimport Base
4219def ce.known(cs: List<&2, String>, +ok: List<&2, String>) -> Bool:
4220 match cs:
4221 case Nil{}:
4222 True{}
4223 case Con{c, t}:
4224 Bool.and(ce.has(ok, c), ce.known(t, ok))