Openapi.input.body: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi
Lines 932-938 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=932&end_line=938

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

# a Request Body Object as the `requestBody` property, with its media type
# `mt` (`media`): application/json's schema, mapped and described by the
# body's description, else the schema's, else "The JSON request body.";
# for another media type a string; required when the body is. A body of
# no media type adds nothing
def input.body(+rb: Value.Json, +mt: String, st: In) -> In:
  input.body.at(String.is_empty(mt), rb, mt, st)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.is_empty
  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=In
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=input.body.at