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

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

def body.text(+rb: Value.Json, mt: String) -> Value.Json:
  Json.obj([("type", Json.str("string")), ("description", Json.str(
    Maybe.default(&2, String, full(Json.as_str(Json.get(rb, "description"))),
      "Request body (content type: " ++ mt ++ ")")))])

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/main.bend&name=as_str
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/main.bend&name=get
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/main.bend&name=obj
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/main.bend&name=str
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=full