~/jendhub

def required

ezmcp@0.1.0.0 · src/openapi.bend:948

import ezmcp@0.1.0.0/src/openapi.bend as Openapi
import Base
import emerging-ezjson@1.2.0.0/main.bend as Json

948# the `required` member of an input schema, none for no names
949def required(req: List<&2, String>) -> List<&2, Mem()>:
950  match req:
951    case []:
952      []
953    case one <> rest:
954      [("required", Json.arr(strs(one <> rest)))]

Uses (6)

Used by (1)