def extra_err

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

import Base

817# The first key of r that is not one of ns, at its own name.
818def extra_err(+ns: List<&2, String>, r: Raw) -> Maybe<&2, Err>:
819  match r:
820    case RKey{+k, v, o}:
821      pick_err(in_names(k, ns), extra_err(ns, o), Some{Err{AtKey{k} <> Nil{}, UnknownKey{}}})
822    case _:
823      None{}