def no_extra

bend-schema-lib@0.4.1.0 · core.bend:267

import Base

267# Every key of the object r is one of ns (anything but an object has none).
268def no_extra(+ns: List<&2, String>, r: Raw) -> Bool:
269  match r:
270    case RKey{+k, v, o}:
271      Bool.and(in_names(k, ns), no_extra(ns, o))
272    case _:
273      True{}