def ce.known

bend-kit-http@0.38.5.0 · http.bend:4223

import bend-kit-http@0.38.5.0/http.bend as Http

import Base

4223def ce.known(cs: List<&2, String>, +ok: List<&2, String>) -> Bool:
4224  match cs:
4225    case Nil{}:
4226      True{}
4227    case Con{c, t}:
4228      Bool.and(ce.has(ok, c), ce.known(t, ok))

Uses (5)

Used by (2)