def missing
import ezx@1.11.0.0/src/doctor/plan.bend as Planimport Base
283# the strings of `xs` that `known` does not hold
284def missing(xs: List<&2, String>, +known: List<&2, String>) -> List<&2, String>:
285 match xs:
286 case []:
287 []
288 case +h <> t:
289 missing.put(has(known, h), h, missing(t, known))