Openapi.item: def of ezmcp@0.1.0.0 Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi Lines 1013-1028 of ezmcp@0.1.0.0/src/openapi.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/openapi.bend&start_line=1013&end_line=1028 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 # a Path Item's operations for the methods `ms`, in their order: one for # each method whose member is an object (`op`), none for any other def item( ms: List<&2, String>, +doc: Value.Json, +path: String, +it: Value.Json, +ips: List<&2, Value.Json> ) -> List<&2, Op>: match ms: case []: [] case +method <> rest: +oper = Json.get(it, method) item.at(Json.is_obj(oper), doc, path, method, ips, oper, item(rest, doc, path, it, ips)) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=get https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/main.bend&name=is_obj https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=Op https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=item.at