def missing

ezmcp@0.1.0.0 · src/openapi.bend:1441

import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value

1441# what the first required name the arguments do not have is missing
1442def missing(req: List<&2, Value.Json>, +args: Value.Json) -> Maybe<&2, String>:
1443  match req:
1444    case []:
1445      None{}
1446    case one <> rest:
1447      +name = Maybe.default(&2, String, Json.as_str(one), "")
1448      missing.at(Json.has(args, name), name, _u => missing(rest, args))