Openapi.prop.put: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/openapi.bend as Openapi
Lines 544-557 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=544&end_line=557

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

def prop.put(
  kind: Prop,
  key: String,
  +val: Value.Json,
  go: Value.Json -> Value.Json,
  rest: Value.Json
) -> Value.Json:
  match kind:
    case PMap{}:
      Value.JPair{key, go(val), rest}
    case PKeep{}:
      Value.JPair{key, val, rest}
    case PDrop{}:
      rest

Uses (3):
  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/src/value.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/openapi.bend&name=Prop